scientific article
From MaRDI portal
Publication:3411949
zbMath1106.18003MaRDI QIDQ3411949
Xiuzhan Guo, J. Robin B. Cockett
Publication date: 30 November 2006
Full work available at URL: https://eudml.org/doc/126936
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Inverse semigroups (20M18) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Related Items (5)
Unitary Theories, Unitary Categories ⋮ Tensor-restriction categories ⋮ Presheaves over a join restriction category ⋮ Proper two-sided restriction semigroups and partial actions. ⋮ Boolean and classical restriction categories
This page was built for publication: