Outline of a proof theory of parametricity

This publication has 9 references indexed in Scilit:

• The complexity of type inference for higher-order lambda calculi
  Published by Association for Computing Machinery (ACM) ,1991
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• A guide to polymorphic types
  Published by Springer Nature ,1990
• Theorems for free!
  Published by Association for Computing Machinery (ACM) ,1989
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Logical relations and the typed λ-calculus
  Information and Control, 1985
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958