@inproceedings{34d4e682ac6e432ea14d7af686998292,

title = "A taste of linear logic",

abstract = "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 simplified by basing it on the Logic of Unity. An application to the array update problem is briefly discussed.",

author = "Philip Wadler",

year = "1993",

doi = "10.1007/3-540-57182-5_12",

language = "English",

isbn = "978-3-540-57182-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "185--210",

editor = "Borzyszkowski, {Andrzej M.} and Stefan Sokolowski",

booktitle = "Mathematical Foundations of Computer Science 1993",

}