Registered user since Fri 1 Sep 2023
Name:Tom de Jong
Country:United Kingdom
Affiliation:University of Nottingham
Personal website: https://tdejong.com
X (Twitter): https://x.com/de_Jong_Tom
GitHub: https://github.com/tomdjong
Research interests:Type Theory, Logic, Category Theory
Contributions
POPL 2025-profile
View general profile
View general profile