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

• Type: Article in International Scientific Journal
• Date: 1999

Authors

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

Journal

The Journal is awaiting validation by the Administrative Services.

Title: TYPED LAMBDA CALCULI AND APPLICATIONS

Vol. 67

Pages: 69-82

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 6 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 14