Login / Signup
Coherence for braided distributivity.
Andreas Blass
Yuri Gurevich
Published in:
CoRR (2018)
Keyphrases
</>