60 citations · 179 across the 42 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CO2022
The combinator and the Mockingbird lattice
Samuele Giraudo
We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator . This basic combinator, named as the…
math.CO2022
Mockingbird lattices
Samuele Giraudo
We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator . This basic combinator, named as the…