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 Context Related Articles Check |
This paper is cited by the following papers:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
An Unexpectedly Simple 2-Categorical Origin - For Chu Spaces (Correct)
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