Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Linearity in Computation
Publication

Publications

Linearity in Computation

Title
Linearity in Computation
Type
Article in International Scientific Journal
Year
2014
Authors
Florido, M
(Author)
FCUP
View Personal Page Send message Search for Participant Publications View Authenticus page View ORCID page
Mackie, I
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Journal
Vol. 24
Pages: 511-512
ISSN: 0955-792X
Indexing
Publicação em Scopus Scopus - 0 Citations
Other information
Authenticus ID: P-00S-6P6
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 1
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

The Power of Closed Reduction Strategies (2007)
Article in International Scientific Journal
Alves, S; Fernandez, M; Florido, M; Mackie, I
Minimality in a Linear Calculus with Iteration (2008)
Article in International Scientific Journal
Alves, S; Florido, M; Mackie, I; Sinot, FR
Linearity and iterator types for Gödel's System ¿ (2010)
Article in International Scientific Journal
Alves, S; Fernandez, M; Florido, M; MacKie, I
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009 (2009)
International Conference Proceedings Book
Florido, M; Mackie, I

Of the same journal

On long normal inhabitants of a type (2005)
Article in International Scientific Journal
Broda, S; Damas, L
Monotonicity Constraints in Characterizations of PSPACE (2012)
Article in International Scientific Journal
Ben Amram, AM; Loff, B; Oitavem, I
Linearity: A Roadmap (2014)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-15 at 20:58:19 | Privacy Policy | Personal Data Protection Policy | Whistleblowing