Kovács, András and Kaposi, Ambrus (2020) Large and Infinitary Quotient Inductive-Inductive Types. In: The 35th Annual ACM/IEEE Symposium on Logic in Computer Science.
|
Text
2006.11736.pdf Download (315kB) | Preview |
Official URL: http://doi.org/10.1145/3373718.3394770
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| Depositing User: | Ambrus Kaposi |
| Date Deposited: | 11 Sep 2020 07:57 |
| Last Modified: | 03 Apr 2023 06:53 |
| URI: | http://real.mtak.hu/id/eprint/112924 |
Actions (login required)
 |
Edit Item |
