scientific article; zbMATH DE number 3949678

MaRDI QIDQ3719794zbMATH OpenFDO

Authors Frank J. Oles

Publication date 1985

zbMATH Keywords

ALGOL-like languagesBasic Desugared ALGOLCartesian closed categoryfunctor categorygeneratorsidentifiersphrase typespredomainssemanticstype algebratyped programming language

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5556621
• THE COINVARIANT ALGEBRA AND REPRESENTATION TYPES OF BLOCKS OF CATEGORY O
• scientific article; zbMATH DE number 1223633
• BLOCK THEORY FOR GROTHENDIECK CATEGORIES: APPLICATIONS
• Towards Constructive Homological Algebra in Type Theory
• ESSENTIALLY ALGEBRAIC CATEGORIES
• Total Categories and Solid Functors
• Homotopy-initial algebras in type theory
• Generalized algebraic theories and contextual categories
• Higher categories and homotopical algebra

Cited in

(27)

• A semantics of multiple inheritance
• Continuations in possible-world semantics
• Algebraic domains of natural transformations
• A fully abstract model for the \(\pi\)-calculus.
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Effect algebras, presheaves, non-locality and contextuality
• Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages
• Free-algebra models for the \(\pi \)-calculus
• Category-sorted algebra-based action semantics
• Monoidal indeterminates and categories of possible worlds
• Block structure vs scope extrusion: between innocence and omniscience
• Block structure vs. scope extrusion: between innocence and omniscience
• scientific article; zbMATH DE number 4050953 (Why is no real title available?)
• Monoidal indeterminates and categories of possible worlds
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• scientific article; zbMATH DE number 3999254 (Why is no real title available?)
• The coherence of languages with intersection types
• The sheaf-theoretic structure of non-locality and contextuality
• An algebraic theory for shared-state concurrency
• The far side of the cube. An elementary introduction to game semantics
• A denotationally-based program logic for higher-order store
• Two-dimensional Kripke semantics i: presheaves
• Q\# as a quantum algorithmic language
• Kripke-style models for typed lambda calculus
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• On the relations between monadic semantics
• Semantical analysis of specification logic

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 Q3719794)