Login / Signup
Simultaneous Substitution in the Typed Lambda Calculus.
John W. Gray
Published in:
MFPS (1991)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
databases
artificial intelligence
software engineering