O. Bodini, D. Gardy and A. Jacquot. Asymptotics and random sampling for BCI and BCK lambda terms. TCS, 2013, doi: 10.1016/j.tcs.2013.01.008
O. Bodini, D. Gardy and B. Gittenberger. Lambda-terms of bounded unary height. Siam workshop on Analytic Algorithmics and Combinatorics (ANALCO), January 2011, San Francisco (USA).
O. Bodini, D, Gardy and A. Jacquot. Asymptotics and random sampling for formulae in intuitionnistic logical systems. 7th GASCOM (Génération Aléatoire de Structures COMbinatoires), September 2010, Montréal (Canada)