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 条
  • [21] Roadmap to a star
    Anderson, JL
    ACTA ASTRONAUTICA, 1999, 44 (2-4) : 91 - 97
  • [22] A roadmap to the future
    Floros, John D.
    FOOD TECHNOLOGY, 2007, 61 (09) : 11 - 11
  • [23] Roadmap for space
    Correll, John T.
    Air Force Magazine, 1999, 82 (03):
  • [24] ROADMAP TO ANTIQUITY
    RUSSELL, J
    ARCHAEOLOGY, 1994, 47 (04) : 6 - 6
  • [25] A roadmap for risk
    Embry, Michelle
    CHEMISTRY & INDUSTRY, 2014, 78 (06) : 28 - 28
  • [26] Checking the roadmap
    Munie, Gregory C.
    Surface mount technology, 1999, 13 (03):
  • [27] Roadmap for DC
    Bauer, Pavol
    2020 22ND EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'20 ECCE EUROPE), 2020,
  • [28] Roadmap on thermoelectricity
    Artini, Cristina
    Pennelli, Giovanni
    Graziosi, Patrizio
    Li, Zhen
    Neophytou, Neophytos
    Melis, Claudio
    Colombo, Luciano
    Isotta, Eleonora
    Lohani, Ketan
    Scardi, Paolo
    Castellero, Alberto
    Baricco, Marcello
    Palumbo, Mauro
    Casassa, Silvia
    Maschio, Lorenzo
    Pani, Marcella
    Latronico, Giovanna
    Mele, Paolo
    Di Benedetto, Francesca
    Contento, Gaetano
    De Riccardis, Maria Federica
    Fucci, Raffaele
    Palazzo, Barbara
    Rizzo, Antonella
    Demontis, Valeria
    Prete, Domenic
    Isram, Muhammad
    Rossella, Francesco
    Ferrario, Alberto
    Miozzo, Alvise
    Boldrini, Stefano
    Dimaggio, Elisabetta
    Franzini, Marcello
    Galliano, Simone
    Barolo, Claudia
    Mardi, Saeed
    Reale, Andrea
    Lorenzi, Bruno
    Narducci, Dario
    Trifiletti, Vanira
    Milita, Silvia
    Bellucci, Alessandro
    Trucchi, Daniele M.
    NANOTECHNOLOGY, 2023, 34 (29)
  • [29] Roadmap on metasurfaces
    Quevedo-Teruel, Oscar
    Chen, Hongsheng
    Diaz-Rubio, Ana
    Gok, Gurkan
    Grbic, Anthony
    Minatti, Gabriele
    Martini, Enrica
    Maci, Stefano
    Eleftheriades, George, V
    Chen, Michael
    Zheludev, Nikolay, I
    Papasimakis, Nikitas
    Choudhury, Sajid
    Kudyshev, Zhaxylyk A.
    Saha, Soham
    Reddy, Harsha
    Boltasseva, Alexandra
    Shalaev, Vladimir M.
    Kildishev, Alexander, V
    Sievenpiper, Daniel
    Caloz, Christophe
    Alu, Andrea
    He, Qiong
    Zhou, Lei
    Valerio, Guido
    Rajo-Iglesias, Eva
    Sipus, Zvonimir
    Mesa, Francisco
    Rodriguez-Berral, Raul
    Medina, Francisco
    Asadchy, Victor
    Tretyakov, Sergei
    Craeye, Christophe
    JOURNAL OF OPTICS, 2019, 21 (07)
  • [30] Roadmap for growth
    Williams, Dede
    CHEMISTRY & INDUSTRY, 2014, 78 (10) : 31 - 31
12345