Linearity: A Roadmap

被引：0

作者：

Alves, Sandra ^{[1
,2
]}

Fernandez, Maribel ^{[3
]}

Florido, Mario ^{[1
,2
]}

Mackie, Ian ^{[4
]}

机构：

[1] Univ Porto, Fac Sci, P-4169007 Oporto, Portugal

[2] LIACC, P-4169007 Oporto, Portugal

[3] Kings Coll London, Dept Informat Strand, London WC2R 2LS, England

[4] Ecole Polytech, CNRS UMR 7161, LIX, F-91128 Palaiseau, France

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2014年 / 24卷 / 03期

关键词：

linear computation; syntactical linearity; operational linearity; denotational linearity; LAMBDA-CALCULUS; LINEARIZATION; REDUCTION; GEOMETRY; LOGIC;

D O I：

10.1093/logcom/exs020

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：513 / 529

页数：17

共 50 条

[1] Linearity or non-linearity error
Buckland, EC
MEASUREMENT & CONTROL, 2005, 38 (06): : 187 - 187
[2] On The Linearity and Non-Linearity of Analysis
Sparby, Terje
CONSTRUCTIVIST FOUNDATIONS, 2019, 14 (02): : 152 - 153
[3] Linearity of non-linearity error
Buckland, EC
MEASUREMENT & CONTROL, 2005, 38 (05): : 155 - 155
[4] The Roadmap
Ash, Timothy Garton
NEW YORK REVIEW OF BOOKS, 2013, 60 (10) : 38 - 39
[5] 'Roadmap'
Newton, C
MEANJIN, 1997, 56 (3-4): : 575 - 575
[6] International Roadmap for Devices and Systems lithography roadmap
Neisser, Mark
JOURNAL OF MICRO-NANOPATTERNING MATERIALS AND METROLOGY-JM3, 2021, 20 (04):
[7] Linearity in calibration: The importance of non-linearity
Mark, H
Workman, J
SPECTROSCOPY, 2005, 20 (01) : 56 - 59
[8] Non-linearity as the Metric Completion of Linearity
Mazza, Damiano
TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2013, 2013, 7941 : 3 - 14
[9] Linearity and non-linearity in cerebral hemodynamics
Giller, CA
Mueller, M
MEDICAL ENGINEERING & PHYSICS, 2003, 25 (08) : 633 - 646
[10] Para-linearity as the Nonassociative Counterpart of Linearity
Qinghai Huo
Guangbin Ren
The Journal of Geometric Analysis, 2022, 32

← 1 2 3 4 5 →