Mikrokosmos: an educational lambda calculus interpreter

Haskell Submitted 05 August 2018Published 24 October 2018
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} }
Copy citation string · Copy BibTeX  
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.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2577-3569