conf.researchr.org / András Kovács
Registered user since Tue 22 Jan 2019
Name: András Kovács
Affiliation: Eötvös Loránd University
Contributions
| POPL 2019 | Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track |
Registered user since Tue 22 Jan 2019
Name: András Kovács
Affiliation: Eötvös Loránd University
Contributions
| POPL 2019 | Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track |