9 citations · 13 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
On properties of -terms
Mirai Ikebuchi, Keisuke Nakano
-terms are built from the combinator alone defined by , which is well known as a function composition operator. This paper investigates an interesting p…
cs.LO2017★ 1 cited
On repetitive right application of B-terms
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…