Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Proceedings 2nd International Workshop on Linearity
Publication

Proceedings 2nd International Workshop on Linearity

Title
Proceedings 2nd International Workshop on Linearity
Type
Article in International Scientific Journal
Year
2012
Authors
Sandra Alves
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Ian Mackie
(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. 101
ISSN: 2075-2180
Other information
Authenticus ID: P-00J-60R
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Linear Recursion (2010)
Other Publications
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
The power of linear functions (2006)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
Linearity: A Roadmap (2014)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Godel's system T revisited (2010)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Linearity and Recursion in a Typed Lambda-Calculus (2011)
Article in International Conference Proceedings Book
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie

See all (9)

Of the same journal

Preface (2015)
Another Publication in an International Scientific Journal
Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V
Preface (2019)
Another Publication in an International Scientific Journal
Monahan, R; Prevosto, V; Proença, J
Preface (2021)
Another Publication in an International Scientific Journal
Rocha, R; Formisano, A; Liu, YA; Miguel Areias; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P
Preface (2010)
Another Publication in an International Scientific Journal
Florido, M; Mackie I.
Worlds of Events Deduction with Partial Knowledge about Causality (2016)
Article in International Scientific Journal
Haeri, SH; Van Roy, P; Baquero, C; Meiklejohn, C

See all (7)

Recommend this page Top
Copyright 1996-2025 © Instituto de Ciências Biomédicas Abel Salazar  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-12-09 at 15:19:12 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book