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

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

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