Quantitative aspects of linear and affine closed lambda terms - ENS de Lyon - École normale supérieure de Lyon
Pré-Publication, Document De Travail Année : 2017

Quantitative aspects of linear and affine closed lambda terms

Aspects quantitatifs des lambda termes affines et linéaires

Résumé

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.
Fichier principal
Vignette du fichier
counting_affine.pdf (194.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-01464047 , version 1 (09-02-2017)
ensl-01464047 , version 2 (14-02-2017)
ensl-01464047 , version 3 (24-02-2017)
ensl-01464047 , version 4 (03-04-2017)
ensl-01464047 , version 5 (21-05-2017)

Identifiants

Citer

Pierre Lescanne. Quantitative aspects of linear and affine closed lambda terms. 2017. ⟨ensl-01464047v3⟩
368 Consultations
335 Téléchargements

Altmetric

Partager

More