An Inverse of the Evaluation Functional for Typed lambda-calculus

Ulrich Berger Helmut Schwichtenberg

Published in: LICS (1991)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
general purpose
database query languages
artificial intelligence
case study