Bodini, Olivier

• The Electronic Journal of Combinatorics Volume 20, Issue 4 (2013) - Papers
  Enumeration of Generalized $BCI$ Lambda-terms
  Abstract  PDF  Source files  BCI  official source
• The Electronic Journal of Combinatorics Volume 26, Issue 4 (2019) - Papers
  Statistical Properties of Lambda Terms
  Abstract  PDF