search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Clarify missing atoms with EO team #318

Open deemp opened 4 months ago

deemp commented 4 months ago

Related to https://github.com/objectionary/normalizer/pull/291

aabounegm commented 3 months ago

The original Java implementation and the On the Origin of Objects paper can be used as a reference.