Login / Signup
Trust in the lambda-Calculus.
Peter Ørbæk
Jens Palsberg
Published in:
J. Funct. Program. (1997)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
relational databases
general purpose
type checking