Setoid Type Theory - A Syntactic Translation.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau

Browse the full MPC paper archive.