Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/30140
Title: Lambda calcolo
Authors: Dezani-Ciancaglini, Mariangiola; Venneri, Betti
Keywords: Lambda calculusType theoryFoundations of programming languagesLambda calcoloTeoria dei tipiFondamenti dei linguaggi di programmazione
Issue Date: 2017
Publisher: EUT Edizioni Università di Trieste
Source: Mariangiola Dezani-Ciancaglini, Betti Venneri, "Lambda calcolo", in "APhEx 16", 2017, pp. 33
Journal: APhEx 
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.

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.
Type: Article
URI: http://hdl.handle.net/10077/30140
ISSN: 2036-9972
Appears in Collections:16 APhEx num 16, anno 2017

Files in This Item:
File Description SizeFormat
APhEx_16_2017_DezaniCiancaglini_Venneri.pdf486.64 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

27
checked on Oct 21, 2020

Download(s)

134
checked on Oct 21, 2020

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons