Winskel is (almost) right
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 180-192
- https://doi.org/10.1007/3-540-62034-6_48
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- HOLCF: Higher order logic of computable functionsPublished by Springer Nature ,1995
- Reasoning with executable specificationsPublished by Springer Nature ,1995
- Trustworthy tools for trustworthy programs: A verified verification condition generatorPublished by Springer Nature ,1994
- IsabellePublished by Springer Nature ,1994
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987