Semantic Parametricity in Polymorphic Lambda Calculus

Peter J. Freyd Jean-Yves Girard Andre Scedrov Philip J. Scott

Published in: LICS (1988)

Keyphrases

lambda calculus
programming language
predicate calculus
semantic network
database
high level
natural language
domain specific
domain ontology
program understanding
database query languages