Guarded traced categories
From MaRDI portal
Publication:1652996
DOI10.1007/978-3-319-89366-2_17OpenAlexW2963052741MaRDI QIDQ1652996
Lutz Schröder, Sergei S. Goncharov
Publication date: 17 July 2018
Full work available at URL: https://arxiv.org/abs/1802.08756
Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Traced monoidal categories, compact closed categories, star-autonomous categories (18M10)
Related Items (5)
Unnamed Item ⋮ Unnamed Item ⋮ Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ A metalanguage for guarded iteration
This page was built for publication: Guarded traced categories