Mazzia Stefano: The read-back problem in the distributed implementation of the geometry of interaction
Versioni disponibili della sintesi: [ pdf ]
Relatore: Prof. M. Pedicini
Tesi discussa il 31 maggio 2006
Sessione del 22 febbraio 2006
Visconti Eleonora: Mori Domains
Versioni disponibili della sintesi: [ pdf ]
Relatore: Prof. S. Gabelli
Tesi discussa il 22 febbraio 2006
Sessione del 7 luglio 2005
Tranquilli Paolo: The typing problem for light logics with second order
Versioni disponibili della sintesi: [ pdf ]
Relatore: Prof. M. Pedicini
Tesi discussa il 7 luglio 2006
