- Dettagli
- Categoria: Area Scientifica
- Scritto da Leonardo Simone
- Visite: 1373
PubbliTesi - La Tesi
Una macchina di riduzione per il lambda-calcolo con valutazione dei costi
Scheda Sintetica
Autore: Leonardo Simone
Relatore: Simona Ronchi della Rocca
Università: Università degli Studi di Torino
Facoltà: Facoltà di Scienze Matematiche, Fisiche e Naturali
Corso: Laurea Spec. in Metodologie e Sistemi Informatici
Data di Discussione: 17/07/2007
Voto: 110 cum laude
Disciplina: Semantica
Tipo di Tesi: di Ricerca
Altri Autori: Andrea Secci
Lingua: Italiano
Grande Area: Area Scientifica
Dignità di Stampa: Si
Descrizione:
La macchina implementa un’istanza della macchina universale di riduzione per il Lambda_Delta-calcolo.