scientific article
From MaRDI portal
Publication:3138545
zbMath0798.68093MaRDI QIDQ3138545
Robert D. Tennent, Peter W. O'Hearn
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Full abstraction for the second order subset of an Algol-like language ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Local local reasoning: a BI-hyperdoctrine for full ground store ⋮ Local variable scoping and Kleene algebra with tests ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Objects and classes in Algol-like languages