Counting a type's principal inhabitants - (Extended abstract)

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

Autores

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

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: TYPED LAMBDA CALCULI AND APPLICATIONS

Vol. 67

Páginas: 69-82

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 6 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-001-6AT

DOI: 10.1007/3-540-48959-2_7

Abstract (EN): We present a Counting Algorithm that computes the number of lambda-terms in beta-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.

Idioma: Inglês

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

Nº de páginas: 14