A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A taste of linear logic
[chapter]
1993
Lecture Notes in Computer Science
This tutorial paper provides an introduction to intuitionistic logic and linear logic, and shows how they correspond to type systems for functional languages via the notion of'Propositions as Types'. The presentation of linear logic is simpli ed by basing it on the Logic of Unity. An application to the array update problem is brie y discussed.
doi:10.1007/3-540-57182-5_12
fatcat:rqrdqjxzkfegdeuvopist55urm