Tom de Jong
@de-jong-tom.mathstodon.xyz.ap.brid.gy
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
In case you weren't there, but are curious; the lecture notes are available here https://github.com/tomdjong/MGS-categorical-realizability/blob/main/MGS-categorical-realizability.pdf?raw=1
August 9, 2025 at 7:00 AM
In case you weren't there, but are curious; the lecture notes are available here https://github.com/tomdjong/MGS-categorical-realizability/blob/main/MGS-categorical-realizability.pdf?raw=1
Reposted by Tom de Jong
ESSLLI 2025 is officially closed! Thank you all so much for being here 🥰 #esslli2025 #logic #language #information #rub
August 8, 2025 at 3:22 PM
ESSLLI 2025 is officially closed! Thank you all so much for being here 🥰 #esslli2025 #logic #language #information #rub
@joey I don't think so by recent results of @aws, see https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper40.pdf (and the slides and video linked on the TYPES 2025 website).
July 25, 2025 at 6:13 AM
@joey I don't think so by recent results of @aws, see https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper40.pdf (and the slides and video linked on the TYPES 2025 website).
This short expository paper has now been published (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) along with the other papers of the TYPES 2024 post-proceedings 🎉
#typetheory
#typetheory
Formalizing Equivalences Without Tears
drops.dagstuhl.de
July 3, 2025 at 4:08 PM
This short expository paper has now been published (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) along with the other papers of the TYPES 2024 post-proceedings 🎉
#typetheory
#typetheory