On Köthe sequence spaces and linear logic (2001)

Cached

Download Links

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science
Citations:31 - 9 self

Documents Related by Co-Citation

53 Finiteness spaces – Thomas Ehrhard - 1987
31 Differential interaction nets – T Ehrhard, L Regnier - 2005
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
73 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
18 Coherent Banach spaces: a continuous denotational semantics – Jean-yves Girard - 1999
13 Normal functors, power series and λ-calculus – J-Y Girard
44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001
16 Between logic and quantic: a tract – Jean-Yves Girard - 2003
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
119 Weakly Distributive Categories – Cockett Seely, J. R. B. Cockett, R. A. G. Seely - 1991
42 Kriegl A.: Linear spaces and differentiation theory – A Frölicher - 1988
19 T.: On phase semantics and denotational semantics: the exponentials – A Bucciarelli, Ehrhard - 2001
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
8 The differential λ-calculus – Thomas Ehrhard, Laurent Regnier
5 logic, totality and full completeness – Linear - 1994
14 The system F of variable types, fteen years later – Jean-Yves Girard - 1986
11 A relational model of a parallel and non-deterministic lambda-calculus – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2008
19 Not enough points is enough – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2007
12 autonomous categories. Number 752 – Michael Barr - 1979