|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 7 gevonden artikelen
| Titel: |
Counting a Type's (Principal) Inhabitants |
| Auteur: |
Broda, Sabine Damas, Luís |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 45 (2003) nr. 1-2 pagina's 33-51 |
| Jaar: |
2003-07-11 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 7 gevonden artikelen
| << vorige | volgende >> |