Linearity: A Roadmap

DOI10.1093/logcom/exs020zbMath1303.03034OpenAlexW2161235166MaRDI QIDQ5892050

Mário Florido, Ian Mackie, Sandra Alves, Maribel Fernández

Publication date: 12 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exs020

zbMATH Keywords

linear computationdenotational linearityoperational linearitysyntactical linearity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)