Linearity: A Roadmap

descriptionPublicationkeyboard_double_arrow_right Article 19 Jun 2012 United Kingdom English Publisher:Oxford University Press (OUP)Journal:Journal of Logic and Computation, volume 24, pages 513-529 (issn: 0955-792X, eissn: 1465-363X,

Copyright policy )

Authors: Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie;

doi: 10.1093/logcom/exs020

Linearity: A Roadmap

- Summary
- Subjects
- Metrics

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.

Country

United Kingdom

Related Organizations

Universidade Lusófona do Porto
Portugal
École Polytechnique
France
Kings College London, University of London
United Kingdom
King's College London
United Kingdom

Keywords

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

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average