Linearity: A Roadmap
2012; Oxford University Press; Volume: 24; Issue: 3 Linguagem: Inglês
10.1093/logcom/exs020
ISSN1465-363X
AutoresSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie,
Tópico(s)Advanced Algebra and Logic
ResumoJournal Article Linearity: A Roadmap Get access Sandra Alves, Sandra Alves University of Porto, Faculty of Science and LIACC, R. do Campo Alegre 1021/55, 4169-007, Porto, PortugalE-mail: sandra@dcc.fc.up.pt Search for other works by this author on: Oxford Academic Google Scholar Maribel Fernández, Maribel Fernández King's College London, Department of Informatics Strand, London WC2R 2LS, UKE-mail: Maribel.Fernandez@kcl.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Mário Florido, Mário Florido University of Porto, Faculty of Science and LIACC, R. do Campo Alegre 1021/55, 4169-007, Porto, PortugalE-mail: amf@dcc.fc.up.pt Search for other works by this author on: Oxford Academic Google Scholar Ian Mackie Ian Mackie LIX, CNRS UMR 7161, École Polytechnique 91128 Palaiseau Cedex, FranceE-mail: mackie@lix.polytechnique.fr Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 24, Issue 3, June 2014, Pages 513–529, https://doi.org/10.1093/logcom/exs020 Published: 19 June 2012 Article history Received: 01 July 2011 Published: 19 June 2012
Referência(s)