scientific article

zbMath0591.68013MaRDI QIDQ3719794

Frank J. Oles

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generatorssemanticsCartesian closed categoryfunctor categoryALGOL-like languagesidentifiersBasic Desugared ALGOLphrase typespredomainstype algebratyped programming language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (19)

Algebraic domains of natural transformations ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ Category-sorted algebra-based action semantics ⋮ A semantics of multiple inheritance ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ On the relations between monadic semantics ⋮ The coherence of languages with intersection types ⋮ A fully abstract model for the \(\pi\)-calculus. ⋮ Monoidal indeterminates and categories of possible worlds ⋮ An algebraic theory for shared-state concurrency ⋮ Semantical analysis of specification logic ⋮ Block structure vs scope extrusion: between innocence and omniscience ⋮ The sheaf-theoretic structure of non-locality and contextuality ⋮ Continuations in possible-world semantics ⋮ Unnamed Item ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Kripke-style models for typed lambda calculus ⋮ A fully abstract denotational semantics for the \(\pi\)-calculus

This page was built for publication: