{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T08:05:02Z","timestamp":1771661102512,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030801281","type":"print"},{"value":"9783030801298","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-80129-8_30","type":"book-chapter","created":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T04:02:46Z","timestamp":1626667366000},"page":"419-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools"],"prefix":"10.1007","author":[{"given":"Levis","family":"Zerpa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"HP Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"issue":"2","key":"30_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.2307\/421013","volume":"3","author":"HP Barendregt","year":"1997","unstructured":"Barendregt, H.P.: The impact of the lambda calculus in logic and computer science. Bull. Symb. Log. 3(2), 181\u2013215 (1997)","journal-title":"Bull. Symb. Log."},{"key":"30_CR3","volume-title":"The Logic Book","author":"M Bergmann","year":"2014","unstructured":"Bergmann, M., Moor, J., Nelson, J.: The Logic Book. McGraw-Hill, New York (2014)"},{"key":"30_CR4","volume-title":"Axiomatic Set Theory","author":"P Bernays","year":"1958","unstructured":"Bernays, P.: Axiomatic Set Theory. North-Holland, Amsterdam (1958)"},{"key":"30_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804076","volume-title":"Computability and Logic","author":"GS Boolos","year":"2007","unstructured":"Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic. Cambridge University Press, Cambridge (2007)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1016\/S1874-5857(09)70018-4","volume":"5","author":"F Cardone","year":"2006","unstructured":"Cardone, F., Hindley, J.R.: History of lambda-calculus and combinatory logic. Handb. Hist. Log. 5, 723\u2013817 (2006)","journal-title":"Handb. Hist. Log."},{"key":"30_CR7","volume-title":"The Calculi of Lambda-conversion","author":"A Church","year":"1965","unstructured":"Church, A.: The Calculi of Lambda-conversion. Princeton University Press-Krauss Reprint Corporation, New York (1965)"},{"key":"30_CR8","volume-title":"Combinatory Logic","author":"HB Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic, vol. 1. North-Holland, Amsterdam (1958)"},{"key":"30_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9461-7","volume-title":"Functions of Several Variables","author":"W Fleming","year":"1977","unstructured":"Fleming, W.: Functions of Several Variables. Springer, New York (1977). https:\/\/doi.org\/10.1007\/978-1-4684-9461-7"},{"key":"30_CR10","unstructured":"Furuholt, B.: Bridging the Digital Divide: Sustainable Supply and Demand of Internet Access in Developing Countries. Department of Computer Science, Aalborg University. Ph.D. Thesis, vol. 1, no. 49. Aalborg Universitet, Aalborg (2009)"},{"key":"30_CR11","volume-title":"Linear Algebra and Some Applications","author":"LI Golovin\u00e1","year":"1971","unstructured":"Golovin\u00e1, L.I.: Linear Algebra and Some Applications. Nauka, Moscow (1971)"},{"key":"30_CR12","unstructured":"Hilbert, M.R., Katz, J.: Building an Information Society: A Latin American and Caribbean Perspective. Economic Commission for Latin America and the Caribbean Santiago (CEPAL\/ECLAC), Santiago, Chile (2003)"},{"key":"30_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators: An Introduction","author":"JR Hindley","year":"2008","unstructured":"Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: An Introduction. Cambridge University Press, Cambridge (2008)"},{"key":"30_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)"},{"key":"30_CR15","unstructured":"Lambda Viewer (Web application). https:\/\/projectultimatum.org\/cgi-bin\/lambda"},{"issue":"2","key":"30_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/itdj.20108","volume":"15","author":"S Madon","year":"2009","unstructured":"Madon, S., et al.: Digital inclusion projects in developing countries: processes of institutionalization. Inf. Technol. Dev. 15(2), 95\u2013107 (2009)","journal-title":"Inf. Technol. Dev."},{"key":"30_CR17","unstructured":"Massalogin, V.: Visual lambda calculus. Master\u2019s Thesis, Rijksuniversiteit Groningen, Estonia (2008)"},{"key":"30_CR18","doi-asserted-by":"publisher","DOI":"10.1201\/b18519","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"2015","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. CRC Press, Boca Raton (2015)"},{"key":"30_CR19","volume-title":"An Introduction to Functional Programming through Lambda Calculus","author":"G Michaelson","year":"2011","unstructured":"Michaelson, G.: An Introduction to Functional Programming through Lambda Calculus. Dover Publications, New York (2011)"},{"key":"30_CR20","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9636.001.0001","volume-title":"Word and Object","author":"WVO Quine","year":"2013","unstructured":"Quine, W.V.O.: Word and Object. MIT Press, Cambridge (2013)"},{"key":"30_CR21","volume-title":"Lambda-Calculus, Combinators, and Functional Programming","author":"GE R\u00e9v\u00e9sz","year":"1988","unstructured":"R\u00e9v\u00e9sz, G.E.: Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press, Cambridge (1988)"},{"key":"30_CR22","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2012","unstructured":"Sipser, M.: Introduction to the Theory of Computation. Cengage Learning, Boston (2012)"},{"key":"30_CR23","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931","year":"1967","unstructured":"Van Heijenoort, J. (ed.): From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931. Harvard University Press, Cambridge (1967)"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Zerpa, L.: Proof strategies and automated advice: a proof format for education-oriented computer systems. In: Proceedings of the 2016 Future Technologies Conference (FTC), pp. 89\u201393. IEEE (2016)","DOI":"10.1109\/FTC.2016.7821594"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-80129-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:14:45Z","timestamp":1771658085000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-80129-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030801281","9783030801298"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-80129-8_30","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"6 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}