Software repository
Paper review
Download paper
Software archive
Review
Editor: @RobertTalbert (all papers)
Reviewers: @aj2duncan (all reviews), @MattForshaw (all reviews)
Authors
Mario Román (0000-0003-3158-1226)
Citation
Román, (2018). Mikrokosmos: an educational lambda calculus interpreter. Journal of Open Source Education, 1(8), 29, https://doi.org/10.21105/jose.00029
@article{Román2019,
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}
}
Tags
lambda calculus functional programming intuitionistic logic computability
Altmetrics
Markdown badge
License
Authors of JOSE papers retain copyright.
This work is licensed under a Creative Commons Attribution 4.0 International License.
