| dc.contributor.advisor |
Salibra, Antonino |
it_IT |
| dc.contributor.advisor |
Berline, Chantal |
it_IT |
| dc.contributor.author |
Manzonetto, Giulio <1980> |
it_IT |
| dc.date.accessioned |
2010-03-08T08:11:20Z |
it_IT |
| dc.date.accessioned |
2012-07-30T07:16:13Z |
|
| dc.date.available |
2010-03-08T08:11:20Z |
it_IT |
| dc.date.available |
2012-07-30T07:16:13Z |
|
| dc.date.issued |
2008-02-18 |
it_IT |
| dc.identifier.uri |
http://hdl.handle.net/10579/575 |
it_IT |
| dc.format.medium |
Tesi cartacea |
it_IT |
| dc.language.iso |
en |
it_IT |
| dc.publisher |
Università Ca' Foscari Venezia |
it_IT |
| dc.rights |
© Giulio Manzonetto, 2008 |
it_IT |
| dc.title |
Models and theories of lambda-calculus |
it_IT |
| dc.type |
Doctoral Thesis |
it_IT |
| dc.degree.name |
Informatica |
it_IT |
| dc.degree.level |
Dottorato di ricerca |
it_IT |
| dc.degree.grantor |
Facoltà di Scienze matematiche fisiche e naturali |
it_IT |
| dc.description.academicyear |
2006/2007 |
it_IT |
| dc.description.cycle |
20 |
it_IT |
| dc.degree.coordinator |
Bossi, Annalisa |
it_IT |
| dc.location.shelfmark |
D000713 |
it_IT |
| dc.location |
Venezia, Archivio Università Ca' Foscari, Tesi Dottorato |
it_IT |
| dc.rights.accessrights |
Accesso locale (tesi cartacea) |
it_IT |
| dc.thesis.matricno |
955095 |
it_IT |
| dc.format.pagenumber |
1 v. |
it_IT |
| dc.subject.miur |
INF/01 INFORMATICA |
it_IT |
| dc.description.note |
Co-tutorato con University of Paris VII Diderot (PhD coordinator: Roberto Di Cosmo) |
it_IT |