scientific article; zbMATH DE number 6917166
From MaRDI portal
Publication:4580200
DOI10.4230/LIPIcs.CALCO.2017.5zbMath1436.18014MaRDI QIDQ4580200
Henning Basold, Jurriaan Rot, Damien Pous
Publication date: 13 August 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Monoidal categories, symmetric monoidal categories (18M05)
Related Items (4)
A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Diacritical companions ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Bisimulation and coinduction enhancements: a historical perspective
This page was built for publication:
