Publication:3411949
From MaRDI portal
zbMath1106.18003MaRDI QIDQ3411949
Xiuzhan Guo, J. Robin B. Cockett
Publication date: 30 November 2006
Full work available at URL: https://eudml.org/doc/126936
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
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