The finite lambda calculus
| Contribuinte(s) |
Asperti, Andrea |
|---|---|
| Data(s) |
18/03/2015
|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/8203/1/filippo_cuti_tesi.pdf Cuti, Filippo (2015) The finite lambda calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270] <http://amslaurea.unibo.it/view/cds/CDS8028/> |
| Relação |
http://amslaurea.unibo.it/8203/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #lambda calculus types, mathematical logic #scuola :: 843899 :: Scienze #cds :: 8028 :: Informatica [LM-DM270] #sessione :: terza |
| Tipo |
PeerReviewed |
