A dialectica-like model of linear logic

A dialectica-like model of linear logic (1989)

by Valeria C. V. De Paiva

Venue:	In Proc. Conf. on Category Theory and Computer Science, LNCS 389
Citations:	27 - 6 self

83	autonomous categories and linear logic – M Barr - 1991
49	A categorical linear framework for petri nets – C Brown, D Gurr - 1990
46	Games semantics for linear logic – Y Lafont, T Streicher - 1991
46	Chu Spaces: A Model of Concurrency – V Gupta - 1994
21	The dialectica categories – V de Paiva - 1987
50	The Second Calculus of Binary Relations – Vaughan Pratt - 1993
97	Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
29	The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
406	The mathematics of sentence structure – J Lambek - 1958
21	Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
13	Full intuitionistic linear logic (extended abstract – Martin Hyland, Valeria de Paiva - 1993
107	Autonomous Categories – M Barr - 1979
80	Phase semantics and sequent calculus for pure noncommutative classical linear logic – V M Abrusci - 1991
197	Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
16	The Duality of Time and Information – Vaughan R. Pratt - 1992
112	A game semantics for linear logic – A Blass - 1992
115	The structure of multiplicatives – V Danos, L Regnier - 1989
272	Computational Interpretations of Linear Logic – Samson Abramsky - 1993
74	Quantales and (Noncommutative) Linear Logic – D Yetter - 1990