Computational adequacy via ‘mixed’ inductive definitions

This publication has 5 references indexed in Scilit:

• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993
• Remarks on algebraically compact categories
  Published by Cambridge University Press (CUP) ,1992
• Semantical Paradigms: Notes for an Invited Lecture
  Published by Defense Technical Information Center (DTIC) ,1988
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• LCF considered as a programming language
  Theoretical Computer Science, 1977