A Finitary Subsystem of the Polymorphic lambda-Calculus.

Thorsten Altenkirch Thierry Coquand

Published in: TLCA (2001)

Keyphrases

lambda calculus
programming language
finite state
database query languages
predicate calculus
type checking
program understanding
complex objects
data types
theorem proving
query processing
object oriented
natural language processing
reverse engineering