Post #2334011
2026-05-08 15:26 UTC
#TYPES 2026 is done! The slides for my talk are here: https://tdejong.com/talks/TYPES-2026.pdf.
Joint work with @ljungstrom and @Nicolai_Kraus.
Replies (1)
-
@ToucanIan@mathstodon.xyz 2026-05-08 16:22
@de_Jong_Tom@mathstodon.xyz @ljungstrom@mathstodon.xyz @Nicolai_Kraus@mathstodon.xyz Nice work!