Keisuke Nakano

On properties of $B$-terms

2020 · Logical Methods in Computer Science

$B$-terms are built from the $B$ combinator alone defined by $B\equiv\lambda fgx. f(g~x)$, which is well known as a function composition operator. This paper investigates an interesting property of $B$-terms, that is, whether repetitive right …