Levis Zerpa. The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2021 Computing Conference, Volume 3, SAI 2021, Virtual Event, 15-16 July, 2021. Volume 285 of Lecture Notes in Networks and Systems, pages 419-436, Springer, 2021. [doi]
Abstract is missing.