scientific article; zbMATH DE number 1392305
From MaRDI portal
Publication:4936144
zbMath0945.68521MaRDI QIDQ4936144
Glynn Winskel, Gian Luca Cattani, Marcelo P. Fiore
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (5)
Coherence for bicategorical cartesian closed structure ⋮ Presheaf models for CCS-like languages ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Two-dimensional linear algebra ⋮ The Bicategory-Theoretic Solution of Recursive Domain Equations
This page was built for publication:
