Altenkirch, Thorsten, Boulier, Simon, Kaposi, Ambrus, Tabereau, Nicolas, "Setoid Type Theory—A Syntactic Translation", , 2019