conf.researchr.org / Tom de Jong
![Tom de Jong](https://conf.researchr.org/getProfileImage/tomdejong/292b7039-3bee-4879-a8c2-35514e8afae0/small.jpg?1711608390000)
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