On properties of $B$-terms

Mirai Ikebuchi, Keisuke Nakano

$B$-terms are built from the $B$ combinator alone defined by $B\equiv \lambda fgx.f(gx)$, which is well known as a function composition operator. This paper investigates an interesting p…