Jacquot, Alice

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