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

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