{"product_id":"9783540565178","title":"Lecture Notes in Computer Science: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings\u003c\/h1\u003e \u003ch2\u003eBezem, Marc; Groote, Jan F.\u003c\/h2\u003e \u003cp\u003eThe lambda calculus was developed in the 1930s by Alonzo\nChurch. The        calculus turned out to be an interesting model\nof computation and became theprototype for untyped\nfunctional programming languages. Operational         and\ndenotational semantics for the calculus served as examples\nfor otherprogramming languages.\nIn typed lambda calculi, lambda terms are            classified\naccording to their applicative behavior. In the 1960s it         was\ndiscovered that the types of typed lambda calculi are in\nfact       appearances of logical propositions. Thus there are two\npossible views of   typed lambda calculi:\n- as models of computation, where terms are viewed    as\nprograms in a typed programming language;\n- as logical theories,     where the types are viewed as\npropositions and the terms as proofs.\nThe practical spin-off from these studies are:\n- functional programming         languages which are\nmathematically more succinct than imperative            programs;\n- systems for automated proof checking based on                   lambda\ncaluli.\nThis volume is the proceedings of TLCA '93, the          first\ninternational conference on Typed Lambda Calculi and\nApplications,organized by the Department of Philosophy of\nUtrecht University. It includes29 papers selected from 51\nsubmissions.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-03-03\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540565178\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0037093\u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 443\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065092748,"sku":"9783540565178","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540565178.jpg?v=1773969636","url":"https:\/\/lateknightbooks.com\/products\/9783540565178","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}