Risultati di separazione nei calcoli lambda

Alberti, Michele (2011) Risultati di separazione nei calcoli lambda. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
[img] Documento PDF
Full-text non accessibile
Download (732kB) | Contatta l'autore
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Alberti, Michele
Relatore della tesi
Martini, Simone
Scuola
Scienze
Corso di studio
Informatica [LM-DM270]
Indirizzo
Curriculum A: Scienze informatiche
Ordinamento Cds
DM270
Parole chiave
lambda-calcolo, teoremi di separazione, risorse, espansione di Taylor
Data di discussione della Tesi
23 Novembre 2011
URI
https://amslaurea.unibo.it/id/eprint/2738

Altri metadati

Gestione del documento: Visualizza il documento

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

^