Login / Signup
Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.
Axel Poigné
Published in:
STACS (1984)
Keyphrases
</>
lambda calculus
data structure
higher order
programming language
predicate calculus
database query languages
complex objects
index structure
data types
predicate logic
program understanding
databases
artificial intelligence
general purpose
model checking
expressive power