Domain theory in HOL

This publication has 7 references indexed in Scilit:

• Translating dependent type theory into higher order logic
  Published by Springer Nature ,2005
• Graph model of LAMBDA in higher order logic
  Published by Springer Nature ,1994
• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993
• Mechanizing CSP trace theory in higher order logic
  IEEE Transactions on Software Engineering, 1990
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Data Types as Lattices
  SIAM Journal on Computing, 1976