Sciweavers

2 search results - page 1 / 1
» Recipes for adjoint code construction
Sort
View
TOMS
1998
57views more  TOMS 1998»
13 years 5 months ago
Recipes for adjoint code construction
Ralf Giering, Thomas Kaminski
CTCS
1989
Springer
13 years 9 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002