Tesi di laurea con relatore o correlatore Asperti, Andrea, discusse nel 2015
Numero di documenti: 1.
C
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 Jan 22 07:49:36 2025 CET.