The Linear Abstract Machine

@article{Lafont1988TheLA,
  title={The Linear Abstract Machine},
  author={Yves Lafont},
  journal={Theor. Comput. Sci.},
  year={1988},
  volume={59},
  pages={157-180}
}
Highly Cited
This paper has 292 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 108 extracted citations

Preface to Girard's Festschrift

View 4 Excerpts
Highly Influenced

Typed memory management via static capabilities

ACM Trans. Program. Lang. Syst. • 2000
View 4 Excerpts
Highly Influenced

A Model for Syntactic Control of Interference

Mathematical Structures in Computer Science • 1993
View 4 Excerpts
Highly Influenced

A Taste of Linear Logic

MFCS • 1993
View 4 Excerpts
Method Support
Highly Influenced

From Petri Nets to Linear Logic

Mathematical Structures in Computer Science • 1991
View 3 Excerpts
Highly Influenced

292 Citations

01020'89'95'02'09'16
Citations per Year
Semantic Scholar estimates that this publication has 292 citations based on the available data.

See our FAQ for additional information.