conf.researchr.org / Ambrus Kaposi

Registered user since Sun 8 Nov 2015

Name: Ambrus Kaposi

Affiliation: University of Nottingham

Contributions

POPL 2019Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track
POPL 2016Author of Type Theory in Type Theory using Quotient Inductive Types within the Research Papers-track