1 citations · 3 across the 6 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…