The congruence of two programming language definitions
- 31 December 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (2), 151-174
- https://doi.org/10.1016/0304-3975(81)90037-2
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Implementation and applications of Scott's logic for computable functionsACM SIGPLAN Notices, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955