31 search results - page 1 / 7 » Bifinite Chu Spaces |
CAI
2007
Springer
13 years 8 months ago
2007
Springer
This paper studies colimits of sequences of finite Chu spaces and their ramifications. We consider three base categories of Chu spaces: the generic Chu spaces (C), the extensional ...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
IGPL
2000
13 years 4 months ago
2000
APAL
1999
13 years 4 months ago
1999
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...