Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Recursion in a linear typed lambda-calculus
Publication

Publications

Recursion in a linear typed lambda-calculus

Title
Recursion in a linear typed lambda-calculus
Type
Article in International Conference Proceedings Book
Year
2011
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
Mário Florido
(Author)
FCUP
View Personal Page Send message Search for Participant Publications View Authenticus page View ORCID page
Ian Mackie
(Author)
FCUP
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
Conference proceedings International
Pages: 173-182
Principles and Practice of Declarative Programming PPDP 2011
Indexing
Publicação em ISI Proceedings ISI Proceedings
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Closed reduction strategies in a linear lambda calculus with recursion (2011)
Article in International Conference Proceedings Book
Sandra Alves; Maribel Fernandez; Mário 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)

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-14 at 04:36:19 | Privacy Policy | Personal Data Protection Policy | Whistleblowing