tag:jose.theoj.org,2005:/papers/edited_by/@RobertTalbertJournal of Open Source Education2018-10-24T12:56:22ZJournal of Open Source Educationhttps://jose.theoj.orgtag:jose.theoj.org,2005:Paper/152018-10-24T12:56:22Z2021-05-23T15:21:15ZMikrokosmos: an educational lambda calculus interpreteracceptedv0.8.02018-08-05 17:11:02 UTC162018-10-24 12:56:22 UTC2201929MarioRománUniversity of Granada0000-0003-3158-122610.21105/jose.00029https://doi.org/10.5281/zenodo.1470226Haskellhttps://jose.theoj.org/papers/10.21105/jose.00029.pdflambda calculus, functional programming, intuitionistic logic, computability