Coherent and Strongly Discrete Rings in Type Theory.

Thierry Coquand, Anders Mrtberg, Vincent Siles

Browse the full CPP paper archive.