scientific article; zbMATH DE number 1088046

From MaRDI portal

Revision as of 23:38, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4364395

Jump to:navigation, search

zbMath0882.18007MaRDI QIDQ4364395

Hayo Thielecke, A. John Power

Publication date: 2 March 1998

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

zbMATH Keywords

Cartesian closed categories programming language type theory indexed categories \(\kappa\)-categories selfadjoint structure semantics for continuations symmetric premonoidal categories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

Equilogical spaces and algebras for a double-power monad ⋮ On the semantics of parsing actions ⋮ Modelling environments in call-by-value programming languages. ⋮ Graded Hoare logic and its categorical semantics ⋮ Models for the computational λ-calculus ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ Premonoidal categories as categories with algebraic structure

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4364395&oldid=18358897"