Sciweavers

2 search results - page 1 / 1
» Recipes for adjoint code construction
Sort
View
TOMS
1998
57views more  TOMS 1998»
14 years 10 months ago
Recipes for adjoint code construction
Ralf Giering, Thomas Kaminski
CTCS
1989
Springer
15 years 2 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