|
9
|
Polarized category theory, modules and game semantics
– J. R. B. Cockett, R. A. G. Seely
- 2004
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
|
A convenient differential
– Richard Blute, Thomas Ehrhard, Christine Tasson
- 2011
|
|
6
|
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)
– Marcelo P. Fiore
|
|
3
|
Categories for Computation in Context and Unified Logic: The "Intuitionist" Case
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
|
Under consideration for publication in Math. Struct. in Comp. Science Transport of
– unknown authors
- 2010
|
|
|
Kähler Categories
– Richard Blute, J. R. B. Cockett, Timothy Porter, R. A. G. Seely
- 2010
|
|
14
|
Feedback for Linearly Distributive Categories: Traces and Fixpoints
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1999
|
|
6
|
The Logic of Linear Functors
– Richard Blute, J.R.B. Cockett, R. A. G. Seely
- 2002
|
|
2
|
CARTESIAN DIFFERENTIAL CATEGORIES
– R. F. Blute, J. R. B. Cockett, R. A. G. Seely
|
|
2
|
The Scott model of Linear Logic is the extensional collapse of its relational model
– Thomas Ehrhard
- 2011
|
|
4
|
Coherence of the Double Involution on *- Autonomous Categories. Theory and Applications of Category Theory
– J. R. B. Cockett, M. Hasegawa, R. A. G. Seely
- 2005
|
|
3
|
Fock Space: A Model of Linear Exponential Types
– R. F. Blute, Prakash Panangaden, R. A. G. Seely
- 1994
|
|
7
|
! and ? -- Storage as tensorial strength
– R. F. Blute, J. R.B. Cockett, R.A.G. Seely
- 1996
|
|
18
|
Linearly Distributive Functors
– J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
1
|
On Differential Interaction Nets and the Pi-calculus
– Thomas Ehrhard, Olivier Laurent
- 2006
|
|
2
|
Convolution ¯ λµ-calculus
– Lionel Vaux
- 2007
|
|
2
|
The Algebraic Lambda-Calculus
– Lionel Vaux
- 2009
|
|
|
probabilistic
– Vincent Danos, Thomas Ehrhard
- 2011
|
