Categorical logic of names and abstraction in action calculi

DOI10.1017/S0960129597002296zbMath0893.03028MaRDI QIDQ4379680

Dusko Pavlovic

Publication date: 4 March 1998

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

symmetric monoidal categoriesabstractionfunctional completenesscategorical semanticsaction calculusaction categoriesMoggi monad

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (10)

Monoidal computer. I: Basic computability by string diagrams ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Categorical composable cryptography: extended version ⋮ Categorical composable cryptography ⋮ Unnamed Item ⋮ Categories for computation in context and unified logic ⋮ Chasing Diagrams in Cryptography ⋮ Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication: Categorical logic of names and abstraction in action calculi