Login / Signup
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types.
Adrian Rezus
Published in:
Stud Logica (2015)
Keyphrases
</>
lambda calculus
higher order
database
artificial intelligence
high level
database management systems
predicate calculus
database query languages