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: 2016
Numero di documenti: 1.

2016

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 Apr 17 20:43:37 2024 CEST.

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

^