|
39
|
Finiteness spaces
– Thomas Ehrhard
- 1987
|
|
25
|
Differential interaction nets
– Thomas Ehrhard, Laurent Regnier
- 2004
|
|
30
|
The Differential Lambda-Calculus
– Thomas Ehrhard, Laurent Regnier
- 2001
|
|
3
|
Fock Space: A Model of Linear Exponential Types
– R. F. Blute, Prakash Panangaden, R. A. G. Seely
- 1994
|
|
92
|
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
|
|
6
|
The differential lambda calculus, Theoret
– T Ehrhard, L Regnier
- 2003
|
|
23
|
Categorical Models of Linear Logic Revisited
– Paul-andré Melliès
- 2003
|
|
6
|
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)
– Marcelo P. Fiore
|
|
119
|
A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke
|
|
5
|
The cartesian closed bicategory of generalised species of structures
– M. Fiore, N. Gambino, M. Hyland, G. Winskel
- 2006
|
|
173
|
Full Abstraction for PCF
– Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
- 1996
|
|
11
|
Categorified algebra and quantum mechanics, Theory and Applications of Categories 16
– Jeffrey Morton, Jeffrey Morton
- 2006
|
|
6
|
Idempotents in dagger categories
– Peter Selinger
- 2006
|
|
2
|
Completion of semirings ∗
– Martin Goldstern
- 2002
|
|
815
|
Categories for the Working Mathematician
– S Mac Lane
- 1971
|
|
3
|
application de la logique linéaire à l’étude des processus de normalisation et principalement du Lambda-calcul, Thèse de doctorat, Université Paris 7, Juin
– V Danos
- 1990
|
|
1
|
λ-calcul différentiel et logique classique: interactions calculatoires. Thèse d’université, Université Aix-Marseille 2
– L Vaux
- 2007
|
|
1
|
Interaction Nets: Semantics and Concurrent Extensions. Ph.D. Thesis,Universite' de la Me'diterrane'e/Universita` degli Studi Roma Tre (2006
– D Mazza
- 2006
|
|
1
|
Substitutions explicites, logique et normalisation. The`sed'universite', Universite
– E Polonowski
- 2004
|
