Login / Signup
A sequent calculus for the Tamari order.
Noam Zeilberger
Published in:
CoRR (2017)
Keyphrases
</>
higher order
sufficient conditions