Go to:
Logótipo
Você está em: Start > Publications > View > On long normal inhabitants of a type
Map of Premises
Principal
Publication

On long normal inhabitants of a type

Title
On long normal inhabitants of a type
Type
Article in International Scientific Journal
Year
2005
Authors
Broda, S
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Damas, L
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Journal
Vol. 15
Pages: 353-390
ISSN: 0955-792X
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-000-33X
Abstract (EN): In this paper we give a complete, formal definition of the formula-tree proof method, prove its correctness and illustrate its adequateness for research in the area of inhabitation of simple types.
Language: English
Type (Professor's evaluation): Scientific
Contact: sbb@ncc.up.pt; luis@ncc.up.pt
No. of pages: 38
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

The decidability of a fragment of BB ' IW-logic (2004)
Article in International Scientific Journal
Broda, S; Damas, L; Finger, M; Silva, PSE
On principal types of combinators (2000)
Article in International Scientific Journal
Broda, S; Damas, L
On combinatory complete sets of proper combinators (1997)
Article in International Scientific Journal
Broda, S; Damas, L
Counting a type's principal inhabitants - (Extended abstract) (1999)
Article in International Scientific Journal
Broda, S; Damas, L
Counting a type's (principal) inhabitants (2001)
Article in International Scientific Journal
Broda, S; Damas, L

See all (11)

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

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
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 Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2025-07-05 at 21:24:48 | Acceptable Use Policy | Data Protection Policy | Complaint Portal