The recordings from #TYPES2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead.
Here is the recording of my talk on some of the connections between type theory and issues in […]
…oh, and if you’re here at #types2025 and I haven’t yet introduced myself to you and you’d like to say hi, please do. I’m here to get to know folks.
TYPES 2025 has been lots of fun so far—I’ve been learning heaps, and I’m seeing unexpected connections between recent work in type theory and other issues I’m curious about.
I have no idea how I (or my audience) will cope with a 20 minute timeslot straight after lunch, but my talk is more of a […]
TYPES talk done! Time to enjoy the rest of the conference 😄 I talked about injective types in univalent mathematics which is joint work with @MartinEscardo. You can find my slides here https://tdejong.com/talks/TYPES-2025.pdf
#TYPES2025 #typetheory #HoTT
I see the #CallForContributions has gone out for #TYPES #TYPES2025 (International Conference on Types for Proofs and Programs) to be held in Glasgow in June 2025. TYPES "is a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and […]
