Options
Lambda calcolo
Dezani-Ciancaglini, Mariangiola; Venneri, Betti
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.
Journal
Publisher
EUT Edizioni Università di Trieste
Source
Mariangiola Dezani-Ciancaglini, Betti Venneri, "Lambda calcolo", in "APhEx 16", 2017, pp. 33
Languages
it
File(s)