{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:44:14Z","timestamp":1725497054417},"edition-number":"1","reference-count":49,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T00:00:00Z","timestamp":1221436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The first part of this article gives a short elementary introduction to the type\u2010free and to the simply typed \u03bb\u2010calculus. The second part informally discusses some aspects of \u03bb\u2010calculus that are more closely relevant to computer science with suitable references to the literature.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse212","type":"other","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T18:16:28Z","timestamp":1221156988000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Lambda\u2010Calculus"],"prefix":"10.1002","author":[{"given":"Dezani\u2010Ciancaglini","family":"Mariangiola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Roger","family":"Hindley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2008,9,15]]},"reference":[{"key":"e_1_2_5_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"e_1_2_5_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835"},{"volume-title":"The Lambda Calculus, its Syntax and Semantics","year":"1984","author":"Barendregt H. P.","key":"e_1_2_5_4_1"},{"key":"e_1_2_5_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"e_1_2_5_6_1","first-page":"117","volume-title":"Handbook of Logic in Computer Science, Volume 2, Background: Computational Structures","author":"Barendregt H. P.","year":"1992"},{"volume-title":"Natural Deduction","year":"1965","author":"Prawitz D.","key":"e_1_2_5_7_1"},{"volume-title":"Types and Programming Languages","year":"2002","author":"Pierce B. C.","key":"e_1_2_5_8_1"},{"key":"e_1_2_5_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_2_5_10_1","first-page":"533","volume-title":"Handbook of the History of Logic","author":"Cardone F.","year":"2008"},{"key":"e_1_2_5_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/421013"},{"key":"e_1_2_5_12_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-36-00227-2"},{"key":"e_1_2_5_13_1","doi-asserted-by":"publisher","DOI":"10.2307\/2372027"},{"issue":"2","key":"e_1_2_5_14_1","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"42","author":"Turing A.","year":"1936","journal-title":"Proc. London Mathematical Society"},{"key":"e_1_2_5_14_2","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-43.6.544"},{"key":"e_1_2_5_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268280"},{"key":"e_1_2_5_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"e_1_2_5_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"e_1_2_5_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0017-8"},{"key":"e_1_2_5_18_2","unstructured":"Available:http:\/\/www.gigamonkeys.com\/book\/."},{"volume-title":"Structure and Interpretation of Computer Programs","year":"1996","author":"Abelson H.","key":"e_1_2_5_19_1"},{"key":"e_1_2_5_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/1995158"},{"key":"e_1_2_5_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_2_5_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"key":"e_1_2_5_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173018"},{"key":"e_1_2_5_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_26"},{"volume-title":"Haskell 98 Language and Libraries: the Revised Report","year":"2003","author":"Peyton Jones S. L.","key":"e_1_2_5_25_1"},{"key":"e_1_2_5_26_1","unstructured":"C.Wadsworth Semantics and Pragmatics of the Lambda\u2010Calculus. PhD thesis Oxford U.K.: University of Oxford Programming Research Group 1971."},{"key":"e_1_2_5_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"e_1_2_5_28_1","unstructured":"R. J. M.Hughes The design and implementation of programming languages PhD thesis Oxford U.K.: University of Oxford 1984."},{"key":"e_1_2_5_29_1","doi-asserted-by":"crossref","unstructured":"J.Backus F.Bauer J.Green C.Katz J.McCarthy P.Naur A. J.Perlis H.Rutishauser K.Samuelson B.Vauquois J. H.Wegstein A.vanWi\u2010jngaarden andM.Woodger.Revised Report on the Algorithmic Language Algol 60. IFIP 1963. Available:http:\/\/www.masswerk.at\/algol60\/report.htm.","DOI":"10.1145\/366193.366201"},{"key":"e_1_2_5_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/363744.363749"},{"key":"e_1_2_5_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0073967"},{"volume-title":"Denotational Semantics: The Scott\u2010Strachey Approach to Programming Language Semantics","year":"1977","author":"Stoy J. E.","key":"e_1_2_5_32_1"},{"key":"e_1_2_5_33_1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1162\/artl.1993.1.1_2.211","article-title":"Beyond digital naturalism","volume":"1","author":"Fontana W.","year":"1994","journal-title":"Artif. Life"},{"key":"e_1_2_5_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"e_1_2_5_35_1","first-page":"1109","article-title":"A lambda calculus for quantum computation","volume":"3","author":"Tonder A.","year":"2004","journal-title":"S. I. A. M. J. Comput."},{"key":"e_1_2_5_36_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968498"},{"key":"e_1_2_5_37_1","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"Howard W. A.","year":"1980"},{"key":"e_1_2_5_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0060623"},{"volume-title":"Selected Papers on Automath, volume 133 of Studies in Logic and the Foundations of Mathematics","year":"1994","author":"Nederpelt R. P.","key":"e_1_2_5_39_1"},{"key":"e_1_2_5_40_1","first-page":"73","volume-title":"Logic Colloquium \u203273, volume 80 of Studies in Logic and the Foundations of Mathematics","author":"Martin\u2010L\u00f6f P.","year":"1975"},{"key":"e_1_2_5_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70189-2"},{"volume-title":"Studies in Proof Theory","year":"1984","author":"Martin\u2010L\u00f6f P.","key":"e_1_2_5_42_1"},{"key":"e_1_2_5_43_1","first-page":"229","volume-title":"Proc. IFIP Congress","author":"Constable R. L.","year":"1971"},{"key":"e_1_2_5_43_2","unstructured":"Available:http:\/\/www.cs.cornell.edu\/Info\/Projects\/."},{"volume-title":"Implementing Mathematics with the Nuprl Proof Development System","year":"1986","author":"Constable R. L.","key":"e_1_2_5_44_1"},{"key":"e_1_2_5_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"e_1_2_5_46_1","unstructured":"G.Huet G.Kahn andC.Paulin\u2010Mohring The Coq Proof Assistant A Tutorial. Paris France: INRIA 2006. Available:http:\/\/coq.inria.fr\/V8.1\/tutorial.html."},{"key":"e_1_2_5_47_1","unstructured":"X.Leroy The Objective Caml system release 3.10. Paris France: INRIA 2007. Available:http:\/\/caml.inria.fr\/pub\/docs\/manual\u2010ocaml\/index.html."}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T18:48:35Z","timestamp":1709232515000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,15]]},"ISBN":["9780471383932","9780470050118"],"references-count":49,"alternative-id":["10.1002\/9780470050118.ecse212","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse212","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2008,9,15]]}}}