Linearity: A Roadmap

Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie

doi:10.1093/logcom/exs020

Linearity: A Roadmap

Sandra Alves^*
, Maribel Fernandez
, Mario Florido
, Ian Mackie

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Abstract

In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.

Original language	English
Pages (from-to)	513-529
Number of pages	17
Journal	Journal of Logic and Computation
Volume	24
Issue number	3
DOIs	https://doi.org/10.1093/logcom/exs020
Publication status	Published - Jun 2014

Keywords

linear computation
syntactical linearity
operational linearity
denotational linearity
RESOURCE LAMBDA-CALCULUS
POLYNOMIAL-TIME
SESSION TYPES
PI-CALCULUS
LOGIC
LINEARIZATION
COMPUTATION
REDUCTION
LANGUAGE
GEOMETRY

Access to Document

10.1093/logcom/exs020

Cite this

@article{da414e5f198145949ea73caddc4a58fe,

title = "Linearity: A Roadmap",

abstract = "In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.",

keywords = "linear computation, syntactical linearity, operational linearity, denotational linearity, RESOURCE LAMBDA-CALCULUS, POLYNOMIAL-TIME, SESSION TYPES, PI-CALCULUS, LOGIC, LINEARIZATION, COMPUTATION, REDUCTION, LANGUAGE, GEOMETRY",

author = "Sandra Alves and Maribel Fernandez and Mario Florido and Ian Mackie",

year = "2014",

month = jun,

doi = "10.1093/logcom/exs020",

language = "English",

volume = "24",

pages = "513--529",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - Linearity

T2 - A Roadmap

AU - Alves, Sandra

AU - Fernandez, Maribel

AU - Florido, Mario

AU - Mackie, Ian

PY - 2014/6

Y1 - 2014/6

N2 - In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.

AB - In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.

KW - linear computation

KW - syntactical linearity

KW - operational linearity

KW - denotational linearity

KW - RESOURCE LAMBDA-CALCULUS

KW - POLYNOMIAL-TIME

KW - SESSION TYPES

KW - PI-CALCULUS

KW - LOGIC

KW - LINEARIZATION

KW - COMPUTATION

KW - REDUCTION

KW - LANGUAGE

KW - GEOMETRY

U2 - 10.1093/logcom/exs020

DO - 10.1093/logcom/exs020

M3 - Article

SN - 0955-792X

VL - 24

SP - 513

EP - 529

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 3

ER -

Linearity: A Roadmap

Abstract

Keywords

Access to Document

Fingerprint

Cite this