Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thorsten Altenkirch
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2024 profile
Registered user since Fri 11 Dec 2015
Name:
Thorsten Altenkirch
Affiliation:
University of Nottingham
Contributions
2024
POPL
Author of Internal parametricity, without an interval within the POPL-track
2019
POPL
Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track
2018
CPP
Session Chair of Type Theory, Set Theory, and Formalized Mathematics (part of CPP 2018)
POPL
Session Chair of Types (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
2017
CPP
Committee Member in Program Committee within the CPP-track
2016
POPL
Author of Type Theory in Type Theory using Quotient Inductive Types within the Research Papers-track
Share
x
Thu 21 Nov 11:41