Thorsten Altenkirch

Registered user since Fri 11 Dec 2015

Name:Thorsten Altenkirch

Affiliation:University of Nottingham

Contributions

CPP 2018	Session Chair of Type Theory, Set Theory, and Formalized Mathematics (part of CPP 2018)
POPL 2018	Session Chair of Types (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences