From semantics to rules: A machine assisted analysis

This publication has 10 references indexed in Scilit:

• Program extraction from normalization proofs
  Published by Springer Nature ,2005
• Inheritance as implicit coercion
  Information and Computation, 1991
• Kripke-style models for typed lambda calculus
  Annals of Pure and Applied Logic, 1991
• An inverse of the evaluation functional for typed lambda -calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• Explicit substitutions
  Published by Association for Computing Machinery (ACM) ,1990
• Logical relations and the typed λ-calculus
  Information and Control, 1985
• Semantical analysis of specification logic
  Published by Springer Nature ,1985
• An Intuitionistic Theory of Types: Predicative Part
  Published by Elsevier ,1975
• Semantical Analysis of Intuitionistic Logic I
  Published by Elsevier ,1965
• On the axiom of extensionality – Part I
  The Journal of Symbolic Logic, 1956