Constructing type systems over an operational semantics

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Computational foundations of basic recursive function theory
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• The calculus of constructions
  Information and Computation, 1988
• An interpretation of Martin-Löf's type theory in a type-free theory of propositions
  The Journal of Symbolic Logic, 1984
• Curry's type-rules are complete with respect to the F-semantics too
  Theoretical Computer Science, 1983
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• Recursive models for constructive set theories
  Annals of Mathematical Logic, 1982
• On the Semantics of “Data Type”
  SIAM Journal on Computing, 1979
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967