You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
443 pages • paperback • 6 editions
ISBN/UID: 9783540565178
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 03 Mar 1993
Description
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the...
Community Reviews
Content Warnings
443 pages • paperback
ISBN/UID: 9783540565178
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 03 Mar 1993
Description
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the...