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

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 Thu Apr 25 20:44:25 2024 CEST.

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

^