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.
Keywords: Lambda calculus, Type Theory, Foundations of Programming Languages.
Temi
Lambda calcolo
di Mariangiola Dezani-Ciancaglini, Betti Venneri
31.10.2017
Lo scopo di questo tema è quello di fornire un'introduzione informale al lambda calcolo con squarci su alcune delle molte influenze che esso ha avuto nello sviluppo recente dell'informatica. Il desiderio è quello di sollecitare la curiosità del lettore verso approfondimenti che, nel migliore dei casi, potrebbero portarlo a svolgere ricerche in un campo ancora ricco di possibilità inesplorate.
Continua la lettura (non è necessario il reader PDF)
Scarica il file Pdf
