Login / Signup
Binary Lambda Calculus and Combinatory Logic.
John Tromp
Published in:
Kolmogorov Complexity and Applications (2006)
Keyphrases
</>
lambda calculus
predicate calculus
programming language
formal model
complex objects
program understanding
higher order
first order logic
predicate logic
database query languages
expert systems
pairwise
knowledge representation
semantic network
knowledge representation and reasoning