PubbliTesi - La Tesi: Una macchina di riduzione per il lambda-calcolo con valutazione dei costi

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 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.

Per ulteriori informazioni su questa e sulle altre Tesi Accededere all’Area Riservata o Registrarsi.