scientific article; zbMATH DE number 431769
From MaRDI portal
Publication:3138545
zbMATH Open0798.68093MaRDI QIDQ3138545FDOQ3138545
Authors: Robert D. Tennent, Peter W. O'Hearn 
Publication date: 11 November 1993
Title of this publication is not available (Why is that?)
Theory of programming languages (68N15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)
Cited In (11)
- Monoidal indeterminates and categories of possible worlds
- Relating two semantics of locally scoped names
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- Monoidal indeterminates and categories of possible worlds
- Objects and classes in Algol-like languages
- Local variable scoping and Kleene algebra with tests
- Full abstraction for the second order subset of an Algol-like language
- Title not available (Why is that?)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Semantics for local computational effects
- Local local reasoning: a BI-hyperdoctrine for full ground store
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138545)
