Login / Signup
Origin Functions in Lambda-Calculus and Term Rewriting Systems.
Yves Bertot
Published in:
CAAP (1992)
Keyphrases
</>
term rewriting systems
lambda calculus
functional programs
logic programs
functional language
programming language
databases
machine learning
higher order
predicate calculus
artificial intelligence
knowledge representation
general purpose
functional programming
database query languages