Return to Article Details Enumeration of Generalized $BCI$ Lambda-terms Download Download PDF