Counting a type's (principal) inhabitants

• Tipo: Artigo em Revista Científica Internacional
• Data: 2001

Autores

Broda, S (Autor) FCUP; Damas, L (Autor) FCUP

Revista

Título: Fundamenta Informaticae

Vol. 45

Páginas: 33-51

ISSN: 0169-2968

Editora: IOS PRESS

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 4 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 19