scientific article
From MaRDI portal
Publication:2851332
zbMath1273.68214MaRDI QIDQ2851332
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001721
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (5)
Monoidal indeterminates and categories of possible worlds ⋮ Block structure vs scope extrusion: between innocence and omniscience ⋮ Sound and complete equational reasoning over comodels ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Category Theoretic Models of Data Refinement
This page was built for publication:
