The finite lambda calculus

Cuti, Filippo (2015) The finite lambda calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
[img]
Anteprima
 Documento PDF
Download (441kB) | Anteprima

Abstract

In questa tesi si descrive il lambda calcolo finito, un'istanza del lambda calcolo con tipi finiti. Si studia la metateoria e la complessità della riduzione.

Abstract
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Cuti, Filippo
Relatore della tesi
Asperti, Andrea
Scuola
Scienze
Corso di studio
Informatica [LM-DM270]
Ordinamento Cds
DM270
Parole chiave
lambda calculus types, mathematical logic
Data di discussione della Tesi
18 Marzo 2015
URI
https://amslaurea.unibo.it/id/eprint/8203

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^