A dialectica-like model of linear logic (1989)

Cached

Download Links

by Valeria C. V. De Paiva
Venue:In Proc. Conf. on Category Theory and Computer Science, LNCS 389
Citations:27 - 6 self

Documents Related by Co-Citation

87 Autonomous Categories and Linear Logic – M Barr - 1991
48 A categorical linear framework for Petri nets, in – C Brown, D Gum - 1990
48 Games Semantics for Linear Logic – Yves Lafont, Thomas Streicher - 1991
49 Chu Spaces: A Model of Concurrency – V Gupta - 1994
22 The Dialectica categories – V de Paiva - 1987
55 The Second Calculus of Binary Relations – Vaughan Pratt - 1993
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
30 The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
461 The mathematics of sentence structure – J Lambek - 1958
22 Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
119 Respresentations of categories – M Barr - 1986
15 Full intuitionistic linear logic (extended abstract – Martin Hyland, Valeria de Paiva - 1993
86 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic – V M Abrusci - 1991
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
131 A game semantics for linear logic – A Blass
134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
17 The Duality of Time and Information – Vaughan R. Pratt - 1992
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
85 Quantales and (noncommutative) linear logic – David N Yetter