Scorri la lista: Dipartimento proponente

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Data di discussione | Ciclo | Nessun raggruppamento
Vai a: R
Numero di documenti: 1.

R

Rioli, Alessandro (2016) Coinductive Techniques on a Linear Quantum λ-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7341.

Questa lista e' stata generata il Wed Dec 4 20:43:53 2024 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^