/ 3
- Dettagli
- Categoria: Area Scientifica
- Scritto da Andrea Secci
- Visite: 1438
PubbliTesi - La Tesi
Un modello dei costi in una macchina di valutazione per il lambda-calcolo
Scheda Sintetica
Autore: Andrea Secci
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: Progettuale e di Ricerca
Altri Autori: Simone Leonardo
Lingua: Italiano
Grande Area: Area Scientifica
Dignità di Stampa: Si
Descrizione:
L’obiettivo della tesi è quello di realizzare un valutatore per il lambda-calcolo e implementare su di esso un modello di costi per la beta-regola. La macchina realizzata rappresenta un caso particolare della Macchina Universale per il lambda-delta-calcolo proposta da Simonetta Ronchi della Rocca e Luca Paolini.