Semantic Models

This publication has 4 references indexed in Scilit:

• The congruence of two programming language definitions
  Theoretical Computer Science, 1981
• Dijkstra's predicate transformers and smyth's powerdomains
  Published by Springer Nature ,1980
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964