{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:55:44Z","timestamp":1725519344191},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880585"},{"type":"electronic","value":"9783540880592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88059-2_3","type":"book-chapter","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T03:03:29Z","timestamp":1222398209000},"page":"87-111","source":"Crossref","is-referenced-by-count":1,"title":["An Introduction to the Lambda Calculus"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"Cs\u00f6rnyei","sequence":"first","affiliation":[]},{"given":"Gergely","family":"D\u00e9vai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"The Lambda Calculus, Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. North Holland, Amsterdam (1984)"},{"key":"3_CR2","volume-title":"Introduction to Functional Programming","author":"R. Bird","year":"1988","unstructured":"Bird, R., Wadler, P.: Introduction to Functional Programming. Prentice Hall, Englewood Cliffs (1988)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","volume":"34","author":"A. Church","year":"1932","unstructured":"Church, A.: A set of postulates for the foundation of logic. Annals of Math. 33, 34, 346\u2013366, 839\u2013864 (1932\/1933)","journal-title":"Annals of Math."},{"key":"3_CR4","unstructured":"Cs\u00f6rnyei, Z.: Lambda-kalkulus (in Hungarian). Typotex (2007)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1073\/pnas.20.11.584","volume":"20","author":"H.B. Curry","year":"1934","unstructured":"Curry, H.B.: Functionality in combinatory logic. Proc. Nat. Acad. Science USA\u00a020, 584\u2013590 (1934)","journal-title":"Proc. Nat. Acad. Science USA"},{"key":"3_CR6","unstructured":"Felleisen, M., Flatt, M.: Programming Languages and Lambda Calculi. Course Notes, Utah University (2003)"},{"key":"3_CR7","unstructured":"Goldberg, M.: An Introduction to the Lambda Calculus. Course Notes. Ben-Gurion University (2000)"},{"key":"3_CR8","unstructured":"Hankin, C.: Introduction to Lambda Calculi for Computer Scientists. Imperial College London (2004)"},{"key":"3_CR9","unstructured":"Harrison, J.: Introduction to Functional Programming. Course Notes. University of Cambridge (1997)"},{"key":"3_CR10","volume-title":"Introduction to Combinators and \u226a-Calculus","author":"J.R. Hindley","year":"1986","unstructured":"Hindley, J.R., Seldin, J.P.: Introduction to Combinators and \u226a-Calculus. Cambridge University Press, Cambridge (1986)"},{"key":"3_CR11","series-title":"Course Notes","volume-title":"Lambda Calculus","author":"A.D. Ker","year":"2003","unstructured":"Ker, A.D.: Lambda Calculus. Course Notes. Oxford University, Oxford (2003)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"630","DOI":"10.2307\/1968646","volume":"36","author":"S.C. Kleene","year":"1936","unstructured":"Kleene, S.C., Rosser, J.B.: The inconsistency of certain formal logics. Annals of Math.\u00a036, 630\u2013636 (1936)","journal-title":"Annals of Math."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1215\/S0012-7094-36-00227-2","volume":"2","author":"S.C. Kleene","year":"1936","unstructured":"Kleene, S.C.: \u03bb-definability and recursiveness. Duke Math. J.\u00a02, 340\u2013353 (1936)","journal-title":"Duke Math. J."},{"key":"3_CR14","volume-title":"Abstract Computing Machines","author":"W. Kluge","year":"2005","unstructured":"Kluge, W.: Abstract Computing Machines. Springer, Heidelberg (2005)"},{"key":"3_CR15","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"3_CR16","series-title":"Course Notes","volume-title":"Lambda Calculus","author":"C.-H.L. Ong","year":"1997","unstructured":"Ong, C.-H.L.: Lambda Calculus. Course Notes. Oxford University, Oxford (1997)"},{"key":"3_CR17","unstructured":"Paulson, L.C.: Foundations of Functional Programming. Course Notes. University of Cambridge (1996)"},{"key":"3_CR18","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"volume-title":"Advanced Topics in Types and Programming Languages","year":"2005","key":"3_CR19","unstructured":"Pierce, B.C. (ed.): Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"3_CR20","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading (1993)"},{"key":"3_CR21","unstructured":"Roversi, L.: \u03bb-calculus as a Programming Language. Course Notes. Universit\u00e0 di Torino (1999)"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die bausteine der mathematischen logik. Math. Annalen\u00a092, 305\u2013316 (1924)","journal-title":"Math. Annalen"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"A.M. Turing","year":"1937","unstructured":"Turing, A.M.: Computability and \u03bb-definability. J. Symbolic Logic\u00a02, 153\u2013163 (1937)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88059-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:55:21Z","timestamp":1619524521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88059-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540880585","9783540880592"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88059-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}