Operational aspects of linear lambda calculus

  title={Operational aspects of linear lambda calculus},
  author={Patrick Lincoln and John C. Mitchell},
Linear logic is a resource-aware logic that i s based on an analysis of the classical proof rules of contraction (copying) and weakening (throwing away). Seweral previous researchers ha,ue studied functional prograniniing languages derived from linear logic according to the ‘yorniulas-as-types” correspondence. In law guciges with linear logic types, one may hope that traditional implementation problems in functional languages sucli os tipdate in place could be simplified by cureful use of the… CONTINUE READING
Highly Cited
This paper has 119 citations. REVIEW CITATIONS


Publications citing this paper.

119 Citations

Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Linear A4L. 111 Lisp nrid Functioriol P ~ . o g i ~ c r i ~ i r i ~ i r ~

J . Chiriinar.. C . Gunter, J . Rieclte

There's no subst.it,ute for linear logic

P. Wacller

Linear Types can Change the World!

Programming Concepts and Methods • 1990


Cerrito. A linear seriiant,ics for allowerl logic programs. I11 Proc. 5th IEEE Synip. on Logic in Cornputr r Science, Philnrlelplriri. .June 1990. • 1990

The formulasastypes notion of construction

W. Howard.

The Design and Implementation of Programming Languages

R.J.M. Hughes
PhD thesis, PRG-40, • 1984