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 条
  • [31] The PON Roadmap
    Nesset, Derek
    2016 OPTICAL FIBER COMMUNICATIONS CONFERENCE AND EXHIBITION (OFC), 2016,
  • [32] QUESTIONS ON THE ROADMAP
    TAKASU, S
    SOLID STATE TECHNOLOGY, 1995, 38 (05) : 16 - 16
  • [33] Roadmap on plasmonics
    Stockman, Mark I.
    Kneipp, Katrin
    Bozhevolnyi, Sergey I.
    Saha, Soham
    Dutta, Aveek
    Ndukaife, Justus
    Kinsey, Nathaniel
    Reddy, Harsha
    Guler, Urcan
    Shalaev, Vladimir M.
    Boltasseva, Alexandra
    Gholipour, Behrad
    Krishnamoorthy, Harish N. S.
    MacDonald, Kevin F.
    Soci, Cesare
    Zheludev, Nikolay I.
    Savinov, Vassili
    Singh, Ranjan
    Gross, Petra
    Lienau, Christoph
    Vadai, Michal
    Solomon, Michelle L.
    Barton, David R., III
    Lawrence, Mark
    Dionne, Jennifer A.
    Boriskina, Svetlana V.
    Esteban, Ruben
    Aizpurua, Javier
    Zhang, Xiang
    Yang, Sui
    Wang, Danqing
    Wang, Weijia
    Odom, Teri W.
    Accanto, Nicolo
    de Roque, Pablo M.
    Hancu, Ion M.
    Piatkowski, Lukasz
    van Hulst, Niek F.
    Kling, Matthias F.
    JOURNAL OF OPTICS, 2018, 20 (04)
  • [34] A roadmap for biofuels ...
    Faaij, Andre
    Londo, Marc
    BIOMASS & BIOENERGY, 2010, 34 (02): : 157 - 158
  • [35] Roadmap to eAccessibility
    Petz, Andrea
    Miesenberger, Klaus
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2014, PT I, 2014, 8547 : 324 - 331
  • [36] A roadmap to a cure
    Stevenson, Mario
    RETROVIROLOGY, 2012, 9
  • [37] Roadmap for charities
    Pitkeathley, Jill
    PUBLIC MONEY & MANAGEMENT, 2018, 38 (04) : 246 - 247
  • [38] "ROADMAP" Controversies
    Cohen, Debbie L.
    Townsend, Raymond R.
    JOURNAL OF CLINICAL HYPERTENSION, 2011, 13 (08): : 628 - 628
  • [39] Motoring roadmap
    Rushton, Megan
    Electrical World, 2001, (AUG.): : 12 - 13
  • [40] A ROADMAP FOR SPC
    GRIFFIN, TL
    QUALITY PROGRESS, 1985, 18 (11) : 69 - 71
12345