Linearity: A Roadmap

著录项

• 来源
  《Journal of logic and computation》 |2014年第3期|513-529|共17页
• 作者

  SANDRA ALVES; MARIBEL FERNANDEZ; MARIO FLORIDO; IAN MACKIE;

  展开▼
• 作者单位

  University of Porto, Faculty of Science and LIACC, R. do Campo Alegre 1021/55, 4169-007, Porto, Portugal;

  King's College London, Department of Informatics Strand, London WC2R 2LS, UK;

  University of Porto, Faculty of Science and LIACC, R. do Campo Alegre 1021/55, 4169-007, Porto, Portugal;

  LIX, CNRS UMR 7161, Ecole Polytechnique 91128 Palaiseau Cedex, France;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  linear computation; syntactical linearity; operational linearity; denotational linearity;

  机译：线性计算句法线性操作线性;指称线性;