9 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Mirai Ikebuchi, Keisuke Nakano
B-terms are built from the B combinator alone defined by B f g x = f (g x), which is well-known as a function composition operator. This paper investigates an interesting property…