Tesi di laurea con relatore o correlatore Asperti, Andrea, discusse nel 2015

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Numero di documenti: 1.

Cuti, Filippo (2015) The finite lambda calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Questa lista e' stata generata il Wed Apr 17 23:39:53 2024 CEST.

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

^