Document Preview Unavailable

One Monad to Prove Them All

Dylus, Sandra; Christiansen, Jan; Teegen, Finn.  arXiv.org, Feb 1, 2019.

You might have access to this document