Registered user since Tue 22 Jan 2019

Name: András Kovács

Affiliation: Eötvös Loránd University

Contributions

POPL 2019Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track