previous | top | next

The transformation from BCI-nf to their types


The number of internal nodes in the type of a BCI-nf term is the same as the number of internal nodes in the BCI-nf term.