R. F. Blute, J. R. B. Cockett, and R. A. G. Seely. ! and ?: Storage as tensorial strength. To appear in Mathematical Structures in Computer Science. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Electronic Notes in Theoretical Computer Science 1.. - Bireflectivity Freyd.. (Correct)
....morphisms, yields the sum of the function parts and the join of the equivalence relation parts. The second tensor also lifts to the semantic category [X ; D] which, together with the bireflective subcategory P, provides an example of a weakly distributive model of negation free linear logic [2], with and both given by the bireflector. This construction cannot be non trivially generalized to model full linear logic, for if the semantic category were autonomous, the bireflective subcategory (which is both the category of algebras for and the category of co algebras for ) would be ....
R. F. Blute, J. R. B. Cockett, and R. A. G. Seely. ! and ?: Storage as tensorial strength. To appear in Mathematical Structures in Computer Science.
Bireflectivity - Freyd, O'Hearn, Power, Takeyama, al. (1996) (Correct)
....morphisms, yields the sum of the function parts and the join of the equivalence relation parts. The second tensor also lifts to the semantic category [X op ; D] which, together with the bireflective subcategory P, provides an example of a weakly distributive model of negation free linear logic [3], with and both given by the bireflector. This construction cannot be non trivially generalized to model full linear logic, for if the semantic category were autonomous, the bireflective subcategory (which is both the category of algebras for and the category of co algebras for ) would be ....
R. F. Blute, J. R. B. Cockett, and R. A. G. Seely. ! and ?: Storage as tensorial strength. To appear in Mathematical Structures in Computer Science. Freyd et al
Linear Läuchli Semantics - Blute, Scott Self-citation (Blute) (Correct)
....In an arbitrary symmetric monoidal closed category, objects for which is an isomorphism are called reflexive, or more precisely reflexive with respect to . 5. 1 Linear Topology The approach we use goes back to the work of Lefschetz [31] and has been studied by Barr [6] and the first author [10]. The idea is to add to the linear structure an additional topological structure, and then define the dual space to be the linear continuous maps. This serves to decrease the size of the dual space and thus create a large class of reflexive objects, i.e. objects which are canonically isomorphic to ....
....This serves to decrease the size of the dual space and thus create a large class of reflexive objects, i.e. objects which are canonically isomorphic to their second dual. The categorical structure so arising was studied by Barr in [6] where he shows that the resulting category is autonomous. In [10], the first author examines this category as a model of linear logic, and considers the representations of groups and Hopf algebras in such spaces. This theory leads to a large class of new models of commutative linear logic [19] noncommutative linear logic [4, 28] and braided linear logic [11] ....
[Article contains additional citation context not shown here]
R. Blute, Hopf Algebras and Linear Logic, to appear: Mathematical Structures in Computer Science, (1995).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC