Linear Logic, Monads and the Lambda Calculus

@inproceedings{Benton1996LinearLM,
  title={Linear Logic, Monads and the Lambda Calculus},
  author={Nick Benton and Philip Wadler},
  booktitle={LICS},
  year={1996}
}
Models of intuitionistic linear logic also provide models of Moggi's computational metalanguage. We use the adjoint presentation of these models and the associated adjoint calculus to show that three translations , due mainly to Moggi, of the lambda calculus into the computational metalanguage (direct, call-by-name and call-by-value) correspond exactly to three translations , due mainly to Girard, of intuitionistic logic into intuitionistic linear logic. We also consider extending these results… CONTINUE READING
Highly Cited
This paper has 93 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

93 Citations

0510'96'01'07'13'19
Citations per Year
Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.

References

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

Lectures on Linear Logic

A. S. Troelstra
CSLI Lecture Notes • 1992
View 3 Excerpts
Highly Influenced

Linear Logic

Theor. Comput. Sci. • 1987
View 3 Excerpts
Highly Influenced

Dual intuitionistic linear logic

P. N. Benton.
1995

Term assignment for intuitionisticlinear logic

P. N. Benton, G. M. Bierman, J. M. E. Hyland, andV. C. V. de Paiva
1995

Intuitionisticnecessity revisited

V. C. V. de Paiva
1992

The ins and outs of CleanI / O

A. Barber
Journal of Functional Programming • 1992

Comprehending Monads

LISP and Functional Programming • 1990

Similar Papers

Loading similar papers…