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

Publications

Linearity: A Roadmap

Title
Linearity: A Roadmap
Type
Article in International Scientific Journal
Year
2014
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
Maribel Fernandez
(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
Mario Florido
(Author)
FCUP
View Personal Page Send message 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. 24
Pages: 513-529
ISSN: 0955-792X
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citations
Publicação em Scopus Scopus - 0 Citations
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-009-HK9
Abstract (EN): 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.
Language: English
Type (Professor's evaluation): Scientific
Contact: sandra@dcc.fc.up.pt; Maribel.Fernandez@kcl.ac.uk; amf@dcc.fc.up.pt; mackie@lix.polytechnique.fr
No. of pages: 17
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

The power of linear functions (2006)
Article in International Scientific Journal
Sandra Alves; Maribel Fernandez; Mirio 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
Linear recursive functions (2007)
Article in International Conference Proceedings Book
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie

Of the same scientific areas

YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Thesis
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Thesis
Mariana Beatriz Nunes Canelas Pais
Utility-based Predictive Analytics (2018)
Thesis
Paula Alexandra de Oliveira Branco
Using clickstream data to analyze online purchase intentions (2015)
Thesis
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul (2023)
Thesis
Carla Manuela Pinto Lourenço

See all (1858)

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 in Computation (2014)
Article in International Scientific Journal
Florido, M; Mackie, I
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-13 at 04:05:05 | Privacy Policy | Personal Data Protection Policy | Whistleblowing