Geodesic

Chu spaces: theory and applications

The Chu construction: history of an idea
p. 10-16
Coherence of the Double Involution on *-Autonomous Categories
p. 17-29
A Parigot-style linear $\lambda$-calculus for full intuitionistic linear logic
p. 30-48
The Dialectica interpretation of first-order classical affine logic
p. 49-79
Approximable Concepts, Chu spaces, and information systems
p. 79-102
An extended view of the Chu-construction
p. 103-126
Dialectica and Chu Constructions: Cousins?
p. 127-152