PubbliTesi - La Tesi: Un modello dei costi in una macchina di valutazione per il lambda-calcolo

PubbliTesi è un archivio bibliografico e di diffusione delle Migliori Tesi di Laurea Specialistica e di Dottorato di Ricerca, presentate negli Atenei italiani, e delle Prove pratiche d’Esame di Laurea Specialistica svolte nella Scuole di Alta Formazione Musicale italiane, realizzato dal CNR e dall’Inforav, in collaborazione con le Università e con il patrocinio del MIUR (www.pubblitesi.it).

PubbliTesi - La Tesi Un modello dei costi in una macchina di valutazione per il lambda-calcolo

Scheda Sintetica

Autore: Secci Andrea 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.

Per ulteriori informazioni su questa e sulle altre Tesi Accededere all’Area Riservata o Registrarsi. lambda-calcolo beta-regola costi bruijn