output
20182022
most citedA System of Interaction and Structure III: The Complexity of BV and Pomset Logic

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2018★ 1 cited

A sequent calculus for a semi-associative law

Noam Zeilberger

We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed w…