Yves Lafont. The Linear Abstract Machine. Theoretical Computer Science, 59:157--180, 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Sharing of Computations - Amtoft (1993) (1 citation) (Correct)
A Linearly Typed Assembly Language - Cheney, Morrisett (1 citation) (Correct)
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
Operational Interpretations of Linear Logic - Turner, Wadler (1998) (25 citations) (Correct)
Linear Explicit Substitutions - Ghani, De Paiva (1998) (3 citations) (Correct)
Extensible Virtual Machines - Harris (2001) (4 citations) (Correct)
Linear Naming: Experimental Software for Optimizing.. - Bawden, Mairson (1998) (Correct)
An Application of a Temporal Linear Logic to Timed Petri Nets - Hirai (1999) (Correct)
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
Quantitative semantics revisited (Extended Abstract) - Barreiro, Ehrhard (Correct)
Quantitative semantics revisited (Extended Abstract) - Barreiro, Ehrhard (Correct)
Obsessional experiments for Linear Logic Proof-nets - de Falco (2001) (Correct)
Parallel and Serial Hypercoherences - Ehrhard (1995) (2 citations) (Correct)
Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
A Completeness Theorem for Symmetric Product Phase Spaces - Ehrhard (2000) (1 citation) (Correct)
Anatomy of an Extensional Collapse - Barreiro, Ehrhard (1997) (4 citations) (Correct)
Anatomy of an Extensional Collapse - Barreiro, Ehrhard (1997) (4 citations) (Correct)
An implementation model of the typed lambda-calculus based on.. - Sato, al. (2001) (Correct)
Logic Programming in a Fragment of Intuitionistic.. - Mutsunori Banbara.. (Correct)
On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (Correct)
On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (Correct)
Parallel Implementation Models for the lambda-calculus Using the.. - Pinto (Correct)
Petri Nets as Models of Linear Logic - Engberg, Winskel (1990) (30 citations) (Correct)
Some Theory and Applications of Linear Logic - Cs Project Report (Correct)
Generating Irregular Partitionable Data Structures - Panangaden, Verbrugge (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC