Go to:
Logótipo
Você está em: Start > Publications > View > Counting a type's (principal) inhabitants
Map of Premises
Principal
Publication

Counting a type's (principal) inhabitants

Title
Counting a type's (principal) inhabitants
Type
Article in International Scientific Journal
Year
2001
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. 45
Pages: 33-51
ISSN: 0169-2968
Publisher: IOS PRESS
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-000-X4X
Abstract (EN): We present a Counting Algorithm that computes the number of X-terms in P-normal form that have a given type tau as a principal type and produces a list of these terms. The design of the algorithm follows the lines of Ben-Yelles' algorithm for counting normal (not necessarily principal) inhabitants of a type tau. Furthermore, we show that one can use similar algorithms with adequate limits to count normal and principal normal inhabitants in the lambdaI-calculus.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 19
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 long normal inhabitants of a type (2005)
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

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

Series-Parallel Automata and Short Regular Expressions (2009)
Article in International Scientific Journal
Nelma Moreira; Rogerio Reis
Dynamics of Commodities Prices: Integer and Fractional Models (2017)
Article in International Scientific Journal
Sergio A. David; J. A. Tenreiro Machado; Lucas R.Trevisan; Cláudio M.C. Inácio Jr.; António Mendes Lopes
Distinguishability Operations and Closures (2016)
Article in International Scientific Journal
Campeanu, C; Nelma Moreira; Rogério Reis
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages (2010)
Article in International Scientific Journal
Stavros Konstantinidis; Pedro V. Silva
Compile the Hypothesis Space: Do it Once, Use it Often (2008)
Article in International Scientific Journal
Nuno A Fonseca; Rui Camacho; Ricardo Rocha; Vitor Santos Costa
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
Page created on: 2025-07-09 at 03:31:19 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book