Login / Signup
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators.
Marius Buliga
Published in:
CoRR (2020)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database
program understanding
human computer interaction