1
2
3
4
5
6
7
8
9
10
11
12
13
| @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}
}
```3
|
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.