Login / Signup

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)

Giuseppe LongoKathleen MilstedSergei Soloviev
Published in: LICS (1993)
Keyphrases
  • extended abstract
  • lambda calculus
  • programming language
  • predicate calculus
  • formal model
  • expert systems