Graph model of LAMBDA in higher order logic

This publication has 7 references indexed in Scilit:

• Domain theory in HOL
  Published by Springer Nature ,1994
• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993
• Why We Can't have SML Style datatype Declarations in HOL
  Published by Elsevier ,1993
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940