Some applications of topology to program semantics
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 375-386
- https://doi.org/10.1007/bfb0025791
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Definability in Dynamic LogicPublished by Association for Computing Machinery (ACM) ,1980
- Axiomatic definitions of programming languagesPublished by Association for Computing Machinery (ACM) ,1980
- Specifying programming language semanticsPublished by Association for Computing Machinery (ACM) ,1979
- Galois connexionsTransactions of the American Mathematical Society, 1944
- Lattice TheoryPublished by American Mathematical Society (AMS) ,1940