|
|
Sharing Implementations of Graph Rewriting Systems
– Stefano Guerrini
- 2004
|
|
7
|
Coherence for sharing proofnets
– Stefano Guerrini, Simone Martini, Andrea Masini
- 1996
|
|
18
|
Interaction Systems II: The Practice of Optimal Reductions
– Andrea Asperti, Cosimo Laneve
- 1994
|
|
|
Modal Logic, Linear Logic, Optimal Lambda-Reduction
– Stefano Guerrini, Simone Martini, Andrea Masini
|
|
6
|
Linear Logic, Comonads and Optimal Reductions
– Andrea Asperti
- 1993
|
|
7
|
Proof nets, Garbage, and Computations
– Stefano Guerrini, Simone Martini, Andrea Masini
- 1997
|
|
7
|
(Optimal) duplication is not elementary recursive
– Andrea Asperti, Paolo Coppola, Simone Martini
- 2000
|
|
5
|
Encoding Linear Logic with Interaction Combinators
– Ian Mackie
- 2002
|
|
7
|
Types, Potency, and Idempotency: Why Nonlinearity and Amnesia Make a Type System Work
– Peter Møller Neergaard, Harry G. Mairson
- 2004
|
|
|
Optimizing Optimal Lambda-Calculus Implementations
– Andrea Asperti
- 1994
|
|
2
|
Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations
– Andrea Asperti, Juliusz Chroboczek
- 1997
|
|
4
|
Interaction Systems
– Andrea Asperti, Cosimo Laneve
- 1993
|
|
|
A Proof of the Reducibility of General Port Graph Grammars to Simple Port Graph Grammars
– Charles Stewart
- 2002
|
|
40
|
Interaction Systems I: The theory of optimal reductions
– Andrea Asperti, Cosimo Laneve
- 1994
|
|
3
|
Sharing Continuations: Proofnets for Languages With Explicit Control
– Julia L. Lawall, Harry G. Mairson
- 2000
|
|
5
|
On Global Dynamics of Optimal Graph Reduction
– Julia L. Lawall, Harry G. Mairson
- 1997
|
|
9
|
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
– Harry G. Mairson
- 2002
|
|
1
|
Rank Bounded Intersection: Types, Potency, and Idempotency
– Peter Møller Neergaard, Harry G. Mairson
- 2003
|
|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
