Altenkirch, T., Boulier, S., Kaposi, A., & Tabereau, N. (2019, October). Setoid Type Theory—A Syntactic Translation. Presented at 13th International Conference on Mathematics of Program Construction (MPC 2019), Porto, Portugal