|
39
|
Finiteness spaces
– Thomas Ehrhard
- 1987
|
|
98
|
Lambda calcul, types et modèle
– J L KRIVINE
- 1990
|
|
25
|
Differential interaction nets
– Thomas Ehrhard, Laurent Regnier
- 2004
|
|
13
|
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence
– P Arrighi, G Dowek
- 2008
|
|
11
|
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms. Available at http://iml.univ-mrs.fr/ ∼ ehrhard/pub/bkt.ps.gz
– Thomas Ehrhard, Laurent Regnier
- 2005
|
|
5
|
Uniformity and the Taylor expansion of ordinary lambda-terms
– T Ehrhard, L Regnier
- 2008
|
|
23
|
On Köthe sequence spaces and linear logic
– Thomas Ehrhard
- 2001
|
|
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
|
|
127
|
Complete Sets of Reductions for Some Equational Theories
– G E Peterson, M E Stickel
- 1981
|
|
7
|
A semantics for lambda calculi with resource
– G Boudol, P-L Curien, C Lavatelli
- 1999
|
|
4
|
The differential λµ-calculus
– Lionel Vaux
- 2007
|
|
2
|
Liguoro and Adolfo Piperno. Nondeterministic extensions of untyped λ-calculus
– Ugo de’
- 1995
|
|
2
|
The differential lambda-mu calculus
– L Vaux
- 2005
|
|
10
|
A linearization of the lambda-calculus
– A J Kfoury
- 2000
|
|
8
|
Reversible, Irreversible and Optimal lambda-machines (Extended Abstract)
– Vincent Danos, Laurent Regnier
- 1996
|
|
12
|
The Lambda-Calculus with Multiplicities
– Gérard Boudol
- 1993
|
|
19
|
A call-by-name lambda-calculus machine
– Jean-louis Krivine
|
|
15
|
On phase semantics and denotational semantics : the exponentials. Annals of Pure and Applied Logic 109
– A Bucciarelli, T Ehrhard
- 2001
|
|
8
|
Embedding the finitary pi-calculus in differential interaction nets
– Thomas Ehrhard, Olivier Laurent, Preuves Programmes Systèmes
- 2006
|
