Inhabitation of Types in the Simply Typed Lambda Calculus

Published in: Inf. Comput. (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
program understanding
database
natural language processing
database query languages
case study
object oriented
expressive power