Polymorphic lambda calculus and subtyping.

Adrian Fiech David A. Schmidt

Published in: Theor. Comput. Sci. (2002)

Keyphrases

lambda calculus
database query languages
type checking
programming language
predicate calculus
higher order
case study
complex objects
eye tracking
theorem prover