Quotient inductive-inductive types in the setoid model

  • Version
  • Download 34
  • File Size 277.93 KB
  • File Count 1
  • Create Date 8 June 2021
  • Last Updated 9 June 2021

Quotient inductive-inductive types in the setoid model

Ambrus Kaposi and Zongpu Xie

Leave a Comment

Your email address will not be published. Required fields are marked *