A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus

DOI10.1007/978-3-030-17184-1_23zbMath1524.68220OpenAlexW2934401054MaRDI QIDQ6070800

Takeshi Tsukada, Ken Sakayori

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17184-1_23

zbMATH Keywords

\(\pi\)-calculuscompact closed categorycategorical type theoryclosed Freyd category

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (1)

An axiomatic account of a fully abstract game semantics for general references

This page was built for publication: A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus