|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 2 of 7 found articles
| Title: |
Counting a Type's (Principal) Inhabitants |
| Author: |
Broda, Sabine Damas, Luís |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 45 (2003) nr. 1-2 pages 33-51 |
| Year: |
2003-07-11 |
| Contents: |
We present a Counting Algorithm that computes the number of λ-terms in β-normal form that have a given type τ 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 τ. Furthermore, we show that one can use similar algorithms with adequate limits to count normal and principal normal inhabitants in the λI-calculus. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 2 of 7 found articles
| << previous | next >> |