Linear Logic, Monads and the Lambda Calculus

  title={Linear Logic, Monads and the Lambda Calculus},
  author={Nick Benton and Philip Wadler},
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.


Publications citing this paper.

93 Citations

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

See our FAQ for additional information.


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.

Term assignment for intuitionisticlinear logic

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

Intuitionisticnecessity revisited

V. C. V. de Paiva

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…