Theory of Sets, Elements of Mathematics, 2004. ,
Analytic Combinatorics, 2008. ,
DOI : 10.1017/CBO9780511801655
URL : https://hal.archives-ouvertes.fr/inria-00072739
Counting terms in the binary lambda calculus. CoRR, abs/1401.0379 Combinatorial and Asymptotic Methods for the Analysis of Algorithms, the Proceedings of 25th International Conference on Probabilistic, 2014. ,
URL : https://hal.archives-ouvertes.fr/ensl-00923203
2-binary trees: Bijections and related issues, Discrete Mathematics, vol.308, issue.7, pp.1209-1221, 2008. ,
Boltzmann samplers for random generation of lambda terms, 2014. ,
URL : https://hal.archives-ouvertes.fr/ensl-00979074
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable, ACM Transactions on Mathematical Software, vol.20, issue.2, pp.163-177, 1994. ,
DOI : 10.1145/178365.178368
URL : https://hal.archives-ouvertes.fr/hal-00917741
Ordered trees and the inorder traversal, Discrete Mathematics, vol.306, issue.15, pp.1732-1741, 2006. ,
DOI : 10.1016/j.disc.2006.03.044