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

Active Bibliography

53 Finiteness spaces – Thomas Ehrhard - 1987
3 The Scott model of Linear Logic is the extensional collapse of its relational model – Thomas Ehrhard - 2011
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001
A convenient differential – Richard Blute, Thomas Ehrhard, Christine Tasson - 2011
3 On probabilistic coherence spaces – Vincent Danos, Thomas Ehrhard - 2008
1 On Differential Interaction Nets and the Pi-calculus – Thomas Ehrhard, Olivier Laurent - 2006
1 On finiteness spaces and extensional presheaves over the lawvere theory of polynomials – Thomas Ehrhard, Université Paris, Diderot Paris
1 A Completeness Theorem for Symmetric Product Phase Spaces – Thomas Ehrhard - 2000
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
6 Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract) – Marcelo P. Fiore
THÈSE Pour obtenir le grade de – Docteur De, L’université De Grenoble, Spécialité Matériaux, Génie Civil, Présentée Par, M. Bellet Daniel (président - 2011
Kähler Categories – Richard Blute, J. R. B. Cockett, Timothy Porter, R. A. G. Seely - 2010
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
1 Differential Linear Logic and Polarization – Lionel Vaux
16 Between logic and quantic: a tract – Jean-Yves Girard - 2003
88 Categorical Logic – Andrew M. Pitts - 1995
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000