Login / Signup
Translating Lambda Calculus into C++ Templates.
Vít Sefl
Published in:
TFP (2021)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
artificial intelligence
databases
data structure
higher order
first order logic
formal model
theorem proving