scientific article; zbMATH DE number 6741738
From MaRDI portal
Publication:5275341
DOI10.4230/LIPIcs.CALCO.2015.17zbMath1366.18003MaRDI QIDQ5275341
Jiří Velebil, Adriana Balan, Alexander Kurz
Publication date: 11 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Quantales (06F07) Categories of machines, automata (18B20) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (3)
Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Extending set functors to generalised metric spaces
This page was built for publication:
