Operational aspects of linear lambda calculus

@inproceedings{Lincoln1992OperationalAO,
  title={Operational aspects of linear lambda calculus},
  author={Patrick Lincoln and John C. Mitchell},
  booktitle={LICS},
  year={1992}
}
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

Citations

Publications citing this paper.

119 Citations

051015'90'96'03'10'17
Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.

References

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
1992

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

P. Wacller
1991

Linear Types can Change the World!

Programming Concepts and Methods • 1990

S

January
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.
1987

The Design and Implementation of Programming Languages

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