V. de Paiva. The dialectica categories. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 47--62, held June 1987, Boulder, Colorado, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
....of this Proposition is that, once our definition of tensor product which has been justified both conceptually and by our results in this paper is adopted, then one may as well work in G as in C. 6. 2 Abstract Games De Paiva has studied the Dialectica Categories DC, and Linear categories GC [dP89]. These are abstract constructions, but reflect some game theoretic intuitions. Indeed, Blass applies his game semantics to DC [Bla92b] Again, Lafont and Streicher [LS91] have developed a Game Semantics for Linear Logic . An object in the category GameK is a structure (A ; A ; e) where e : ....
V. C. V. de Paiva. The Dialectica categories. In J. W. Gray and A. Scedrov, editors, Categories in Computer Science and Logic, pages 47--62, 1989.
An Unexpectedly Simple 2-Categorical Origin - For Chu Spaces (Correct)
No context found.
V. de Paiva. The dialectica categories. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 47--62, held June 1987, Boulder, Colorado, 1989.
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