 |
 |
 |
 |
Quantitative aspects of linear and affine closed lambda terms
Quantitative aspects of linear and affine closed lambda terms
Abstract : Affine $λ$-terms are $λ$-terms in which each bound variable occurs at most once and linear $λ$-terms are $λ$-terms in which each bound variables occurs once. and only once. In this paper we count the number of closed affine $λ$-terms of size $n$, closed linear $λ$-terms of size $n$, affine $β$-normal forms of size $n$ and linear $β$-normal forms of ise $n$, for different ways of measuring the size of $λ$-terms. From these formulas, we show how we can derive programs for generating all the terms of size $n$ for each class. For this we use a specific data structure, which are contexts taking into account all the holes at levels of abstractions.
Cited literature [21 references]
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01464047
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Sunday, May 21, 2017 - 3:22:31 PM
Last modification on : Saturday, September 11, 2021 - 3:18:34 AM
Long-term archiving on: : Wednesday, August 23, 2017 - 10:53:02 AM
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Sunday, May 21, 2017 - 3:22:31 PM
Last modification on : Saturday, September 11, 2021 - 3:18:34 AM
Long-term archiving on: : Wednesday, August 23, 2017 - 10:53:02 AM
Files
counting_affine.pdf
Files produced by the author(s)