Extended Type Structures and Filter Lambda Models

This publication has 6 references indexed in Scilit:

• What is a model of the lambda calculus?
  Information and Control, 1982
• Algebras and combinators
  Algebra universalis, 1981
• Functional Characters of Solvable Terms
  Mathematical Logic Quarterly, 1981
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Mathematische Gesetze der Logik I
  Published by Springer Nature ,1960