Reducibility of Types in Typed Lambda Calculus: Comment on a Paper by Richard Statman

Published in: Inf. Comput. (1988)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
databases
case study
high level
expert systems
relational databases
object oriented
software engineering
relational database systems