A taste of linear logic

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationMathematical Foundations of Computer Science 1993
Subtitle of host publication18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
EditorsAndrzej M. Borzyszkowski, Stefan Sokolowski
PublisherSpringer-Verlag GmbH
Pages185-210
Number of pages26
ISBN (Print)978-3-540-57182-7
DOIs
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume711
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'A taste of linear logic'. Together they form a unique fingerprint.

Cite this