Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Román, Mario
2018.
Mikrokosmos: an educational lambda calculus interpreter.
Journal of Open Source Education,
Vol. 1,
Issue. 8,
p.
29.
Bernardeschi, Cinzia
Domenici, Andrea
and
Masci, Paolo
2019.
Automated Reasoning for Systems Biology and Medicine.
Vol. 30,
Issue. ,
p.
215.