{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:29:38Z","timestamp":1743028178251,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031843907"},{"type":"electronic","value":"9783031843914"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-84391-4_9","type":"book-chapter","created":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T14:24:25Z","timestamp":1741789465000},"page":"113-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Interactive Lambda Calculus Interpreter and\u00a0Visualization Tool"],"prefix":"10.1007","author":[{"given":"Bhashithe","family":"Abeysinghe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Patterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajshekhar","family":"Sunderraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,13]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Church, A.: A set of postulates for the foundation of logic. Ann. Math. 33(2), 346\u2013366 (1932). http:\/\/www.jstor.org\/stable\/1968337","DOI":"10.2307\/1968337"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"472","DOI":"10.2307\/1989762","volume":"39","author":"A Church","year":"1936","unstructured":"Church, A., Rosser, J.B.: Some properties of conversion. Trans. Am. Math. Soc. 39(3), 472\u2013482 (1936). https:\/\/doi.org\/10.2307\/1989762","journal-title":"Trans. Am. Math. Soc."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Sainati, D., Sampson, A.: LambdaLab: an interactive $$\\lambda $$-calculus reducer for learning. https:\/\/2018.splashcon.org\/track\/splash-2018-SPLASH-E?. Accessed 10 Oct 2023","DOI":"10.1145\/3310089.3313180"},{"key":"9_CR4","unstructured":"igraph: Python-igraph, a Python interface to igraph for manipulating graph data (2023). https:\/\/python.igraph.org\/en\/stable\/. Accessed 18 Aug 2023"},{"key":"9_CR5","unstructured":"Buchli, L.: Lambda calculus calculator (2023). https:\/\/lambdacalc.io\/. Accessed 10 Oct 2023"},{"key":"9_CR6","unstructured":"NetworkX: Network Analysis in Python (2023). https:\/\/networkx.org\/. Accessed 18 Aug 2023"},{"key":"9_CR7","unstructured":"Plotly: Dash: low-code framework for rapidly building data apps in Python (2023). https:\/\/dash.plotly.com\/. Accessed 18 Aug 2023"},{"key":"9_CR8","unstructured":"PLY: Python Lex-Yacc (2023). https:\/\/www.dabeaz.com\/ply\/. Accessed 18 Aug 2023"},{"key":"9_CR9","unstructured":"Project Ultimatum: Lambda Viewer (2023). https:\/\/projectultimatum.org\/cgi-bin\/lambda. Accessed 10 Oct 2023"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Reingold, E., Tilford, J.: Tidier drawings of trees. IEEE Trans. Softw. Eng. SE-7(2), 223\u2013228 (1981). https:\/\/doi.org\/10.1109\/TSE.1981.234519","DOI":"10.1109\/TSE.1981.234519"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Ruiz, D., Villaret, M.: TILC: the interactive lambda-calculus tracer. Electron. Notes Theor. Comput. Sci. 248, 173\u2013183 (2009). https:\/\/doi.org\/10.1016\/j.entcs.2009.07.067. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066109002904. Proceedings of the Eighth Spanish Conference on Programming and Computer Languages (PROLE 2008)","DOI":"10.1016\/j.entcs.2009.07.067"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. Second Ser. 42, 230\u2013265 (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"9_CR13","unstructured":"Wikipedia: Lambda Calculus (2023). https:\/\/en.wikipedia.org\/wiki\/Lambda_calculus. Accessed 18 Aug 2023"}],"container-title":["Communications in Computer and Information Science","Computing Education Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84391-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T14:24:31Z","timestamp":1741789471000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84391-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031843907","9783031843914"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84391-4_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COMPUTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Annual ACM India Compute Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gandhinagar","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"compute2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}