A taste of linear logic

Philip Wadler

doi:10.1007/3-540-57182-5_12

A taste of linear logic

Philip Wadler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 1993
Subtitle of host publication	18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
Editors	Andrzej M. Borzyszkowski, Stefan Sokolowski
Publisher	Springer
Pages	185-210
Number of pages	26
ISBN (Print)	978-3-540-57182-7
DOIs	https://doi.org/10.1007/3-540-57182-5_12
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	711
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-57182-5_12

http://dx.doi.org/10.1007/3-540-57182-5_12

Cite this

@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",

pages = "185--210",

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

booktitle = "Mathematical Foundations of Computer Science 1993",

address = "United Kingdom",

}

A taste of linear logic. / Wadler, Philip.
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings . ed. / Andrzej M. Borzyszkowski; Stefan Sokolowski. Springer, 1993. p. 185-210 (Lecture Notes in Computer Science; Vol. 711).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A taste of linear logic

AU - Wadler, Philip

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-57182-5_12

DO - 10.1007/3-540-57182-5_12

M3 - Conference contribution

SN - 978-3-540-57182-7

T3 - Lecture Notes in Computer Science

SP - 185

EP - 210

BT - Mathematical Foundations of Computer Science 1993

A2 - Borzyszkowski, Andrzej M.

A2 - Sokolowski, Stefan

PB - Springer

ER -

A taste of linear logic

Abstract

Publication series

Access to Document

Fingerprint

Cite this