A guide to polymorphic types

This publication has 26 references indexed in Scilit:

• Deduction and computation
  Published by Springer Nature ,2005
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• Domain theoretic models of polymorphism
  Information and Computation, 1989
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• Linear logic
  Theoretical Computer Science, 1987
• The system F of variable types, fifteen years later
  Theoretical Computer Science, 1986
• Constructions: A higher order proof system for mechanizing mathematics
  Published by Springer Nature ,1985
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972