1 problem

0 votes0 replies1 view
Partial-order and lattice conjecture for the Mockingbird rewrite system
Mockingbird partial-order and lattice conjecture. The relation $\preccurlyeq$ on the terms over ${\operatorname{\mathbf{M}}}$ is a partial order relation, and each $\equiv$ -equival…
Conjectureopencombinatory-logic lattice-theory term-rewritingarXiv posted 2 days ago

Partial-order and lattice conjecture for the Mockingbird rewrite system