Abstract
Mikrokosmos is an educational untyped and simply typed lambda-calculus interpreter. For students, it is a tool to learn lambda-calculus and intuitionistic logic by coding. For educators, it is a didactic resource, grounded in the theoretical implementation of a functional programming language, so that they can integrate it with other learning materials.
@article{mikrokosmos,
doi = {10.21105/jose.00029},
url = {https://doi.org/10.21105/jose.00029},
year = {2019},
publisher = {The Open Journal},
volume = {2},
number = {16},
pages = {29},
author = {Mario Román},
title = {Mikrokosmos: an educational lambda calculus interpreter},
journal = {Journal of Open Source Education}
}