No. 86 (1978): PB-86 Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

Published: 1978-01-01

Articles