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 条
  • [11] Para-linearity as the Nonassociative Counterpart of Linearity
    Huo, Qinghai
    Ren, Guangbin
    JOURNAL OF GEOMETRIC ANALYSIS, 2022, 32 (12)
  • [12] THE EDFAS FA TECHNOLOGY ROADMAP— FA FUTURE ROADMAP
    Antoniou, Nicholas
    Foran, Brendan
    Electronic Device Failure Analysis, 2023, 25 (02): : 44 - 46
  • [13] Linearity in calibration: Other tests for non-linearity
    Mark, H
    Workman, J
    SPECTROSCOPY, 2005, 20 (04) : 38 - 39
  • [14] With Roadmap to a Specialist
    Stempfle, Anja
    PSYCHIATRISCHE PRAXIS, 2015, 42 (01) : 52 - U69
  • [15] A roadmap for graphene
    K. S. Novoselov
    V. I. Fal′ko
    L. Colombo
    P. R. Gellert
    M. G. Schwab
    K. Kim
    Nature, 2012, 490 : 192 - 200
  • [16] A roadmap for the future
    Fabiola Gianotti
    Gian Francesco Giudice
    Nature Physics, 2020, 16 : 997 - 998
  • [17] A roadmap for UEML
    Opdahl, Andreas L.
    Berio, Giuseppe
    ENTERPRISE INTEROPERABILITY: NEW CHALLENGES AND APPROACHES, 2007, : 169 - +
  • [18] Roadmap for regulation
    Casey E. Romanoski
    Christopher K. Glass
    Hendrik G. Stunnenberg
    Laurence Wilson
    Genevieve Almouzni
    Nature, 2015, 518 : 314 - 316
  • [19] A roadmap for nanophotonics
    Randolph Kirchain
    Lionel Kimerling
    Nature Photonics, 2007, 1 : 303 - 305
  • [20] A Roadmap for TAMC
    Gopal, T. V.
    Agrawal, Manindra
    Li, Angsheng
    Cooper, S. Barry
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2014), 2014, 8402 : 1 - 6
12345