Kaposi, Ambrus and Xie, Zongpu (2021) Quotient inductive-inductive types in the setoid model. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021.
|
Text
TYPES21 - Quotient inductive-inductive types in the setoid model (Kaposi and Xie).pdf Download (284kB) | Preview |
Official URL: https://types21.liacs.nl/download/quotient-inducti...
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
Depositing User: | Ambrus Kaposi |
Date Deposited: | 27 Sep 2021 14:10 |
Last Modified: | 03 Apr 2023 07:24 |
URI: | http://real.mtak.hu/id/eprint/130779 |
Actions (login required)
![]() |
Edit Item |