R. Blute, Braided Proof Nets and Categories, in preparation, (1995)  Home/Search   Document Not in Database   Summary   Related Articles

....[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]. Proofs of all of the following results can be found in [6] and [10] Definition 5.1 Let V be a vector space over a discrete field k. A topology, on V is linear if it satisfies the following three properties: ffl Addition and scalar multiplication are continuous, when the field k is given ....

R. Blute, Braided Proof Nets and Categories, in preparation, (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