Restriction Categories I (2006)

Cached

Download Links

by R. F. Blute , J. R. B. Cockett , R. A. G. Seely
Venue:Categories of Partial Maps, Theoret. Comput. Sci
Citations:10 - 1 self

Documents Related by Co-Citation

44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001
53 Finiteness spaces – Thomas Ehrhard - 1987
7 Categorical models for simply typed resource calculi – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
31 Differential interaction nets – T Ehrhard, L Regnier - 2005
930 Categories for the Working Mathematician – S Mac Lane - 1971
3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
6 Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract) – Marcelo P. Fiore
153 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke
23 Categorical Models of Linear Logic Revisited – Paul-andré Melliès - 2003
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
5 What is a Categorical Model of the Differential and the Resource λ-Calculi? – Giulio Manzonetto
4 Cartesian differential categories. Theory and Application of Categories – R F Blute, J R B Cockett, R A G Seely
2 The Faa di bruno construction. Theory and applictions of categories – J R B Cockett, R A G Seely
8 The differential lambda-calculus. Theoretical Computer Science, 309(1-3):1–41, 2003. 14 Thomas Ehrhard and Laurent Regnier. Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms – Thomas Ehrhard, Laurent Regnier
7 The cartesian closed bicategory of generalised species of structures – M. Fiore, N. Gambino, M. Hyland, G. Winskel - 2006
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
2 Completion of semirings ∗ – Martin Goldstern - 2002
7 2008): Idempotents in dagger categories – Peter Selinger