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 条
  • [41] Roadmap of Germany
    Habel, R.
    PETERMANNS GEOGRAPHISCHE MITTEILUNGEN, 1949, 93 (04) : 202 - 202
  • [42] Roadmap for Readers
    Presstime, 2003, 25 (10):
  • [43] Roadmap on nanomedicine
    Decuzzi, Paolo
    Peer, Dan
    Di Mascolo, Daniele
    Palange, Anna Lisa
    Manghnani, Purnima Naresh
    Moghimi, S. Moein
    Farhangrazi, Z. Shadi
    Howard, Kenneth A.
    Rosenblum, Daniel
    Liang, Tingxizi
    Chen, Zhaowei
    Wang, Zejun
    Zhu, Jun-Jie
    Gu, Zhen
    Korin, Netanel
    Letourneur, Didier
    Chauvierre, Cedric
    van der Meel, Roy
    Kiessling, Fabian
    Lammers, Twan
    NANOTECHNOLOGY, 2021, 32 (01)
  • [44] A roadmap for graphene
    Novoselov, K. S.
    Fal'ko, V. I.
    Colombo, L.
    Gellert, P. R.
    Schwab, M. G.
    Kim, K.
    NATURE, 2012, 490 (7419) : 192 - 200
  • [45] A roadmap to a cure
    Mario Stevenson
    Retrovirology, 9
  • [46] Roadmap for revitalization?
    不详
    NATURE BIOTECHNOLOGY, 2007, 25 (10) : 1061 - 1061
  • [47] Roadmap on holography
    Sheridan, John T.
    Kostuk, Raymond K.
    Gil, Antonio Fimia
    Wang, Y.
    Lu, W.
    Zhong, H.
    Tomita, Y.
    Neipp, C.
    Frances, J.
    Gallego, S.
    Pascual, I
    Marinova, V
    Lin, S-H
    Hsu, K-Y
    Bruder, F.
    Hansen, S.
    Manecke, C.
    Meisenheimer, R.
    Rewitz, C.
    Roelle, T.
    Odinokov, S.
    Matoba, O.
    Kumar, M.
    Quan, X.
    Awatsuji, Y.
    Wachulak, P. W.
    Gorelaya, A., V
    Sevryugin, A. A.
    Shalymov, E., V
    Yu Venediktov, V.
    Chmelik, R.
    Ferrara, M. A.
    Coppola, G.
    Marquez, A.
    Belendez, A.
    Yang, W.
    Yuste, R.
    Bianco, A.
    Zanutta, A.
    Falldorf, C.
    Healy, J. J.
    Fan, X.
    Hennelly, B. M.
    Zhurminsky, I
    Schnieper, M.
    Ferrini, R.
    Fricke, S.
    Situ, G.
    Wang, H.
    Abdurashitov, A. S.
    JOURNAL OF OPTICS, 2020, 22 (12)
  • [48] A roadmap to safety
    不详
    OIL GAS-EUROPEAN MAGAZINE, 2004, 30 (02): : S11 - S13
  • [49] A roadmap for action
    Benavente A.
    Panchaud C.
    PROSPECTS, 2008, 38 (2) : 189 - 197
  • [50] A cancer roadmap
    Broude, NE
    EXPERT REVIEW OF MOLECULAR DIAGNOSTICS, 2005, 5 (02) : 121 - 122
12345