scientific article; zbMATH DE number 3999254
From MaRDI portal
Publication:4725711
zbMath0616.68007MaRDI QIDQ4725711
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functor categoriesdomain constructionsspecification logicdenotational-semanticsstack-oriented storage management
Theory of programming languages (68N15) Logic in computer science (03B70) Topoi (18B25) Functor categories, comma categories (18A25)
Related Items (5)
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Monoidal indeterminates and categories of possible worlds ⋮ The sheaf-theoretic structure of non-locality and contextuality ⋮ Continuations in possible-world semantics ⋮ Monoidal Indeterminates and Categories of Possible Worlds
Uses Software
This page was built for publication:
