The purpose of this essay is to provide an informal introduction to lambda calculus with glimpses upon some of the many influences it has had on the recent development of computer science. Our desire is to awaken the curiosity of the reader towards the insights which, in the best case, could lead to the undertaking of further research in a field still ripe with unexplored possibilities.
Lambda calcolo / M. Dezani-Ciancaglini, B. Venneri. - In: APHEX. - ISSN 2036-9972. - ELETTRONICO. - 16:(2017), pp. 1-33.
Lambda calcolo
B. Venneri
2017
Abstract
The purpose of this essay is to provide an informal introduction to lambda calculus with glimpses upon some of the many influences it has had on the recent development of computer science. Our desire is to awaken the curiosity of the reader towards the insights which, in the best case, could lead to the undertaking of further research in a field still ripe with unexplored possibilities.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
LambdaCalcolo.pdf
accesso aperto
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
486.64 kB
Formato
Adobe PDF
|
486.64 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.