Valutazione attuale:  / 2
ScarsoOttimo 

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 sulle Tesi presentate in questo sito sotto forma di Schede Sintetiche Accededere all’Area Riservata o Registrarsi.

Informazioni aggiuntive