Dialectica and Chu constructions: cousins? de Paiva, Valeria — 2006 Theory and Applications of Categories [electronic only]
A Parigot-style linear λ -calculus for full intuitionistic linear logic. de Paiva, Valeria; Ritter, Eike — 2006 Theory and Applications of Categories [electronic only]
Preface to the special volume: “Chu spaces: theory and applications". de Paiva, Valeria (ed.); Pratt, Vaughan (ed.) — 2006 Theory and Applications of Categories [electronic only]