Some results on the full abstraction problem for restricted lambda calculi

This publication has 9 references indexed in Scilit:

• Operational, Denotational and Logical Descriptions: A Case Study1
  Fundamenta Informaticae, 1992
• Type theories, normal forms, and D∞-lambda-models
  Information and Computation, 1987
• The system F of variable types, fifteen years later
  Theoretical Computer Science, 1986
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• What is a model of the lambda calculus?
  Information and Control, 1982
• Lambda‐Calculus Models and Extensionality
  Mathematical Logic Quarterly, 1980
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• λ-Calculus and Computer Science Theory
  Published by Springer Nature ,1975
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964