TY  - RPRT
TI  - Enumeration of generalized $BCI$ lambda-terms
AU  - Olivier Bodini
AU  - Danièle Gardy
AU  - Bernhard Gittenberger
AU  - Alice Jacquot
PY  - 2013
UR  - https://arxiv.org/abs/1305.0640
ID  - 1305.0640
ER  -