Return to Article Details
Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
Download
Download PDF