Ancestors

Toot

Written by Tom de Jong on 2024-10-29 at 13:12

It's some time away, but I'm looking forward to lecturing on Categorical Realizability at the European Summer School in #Logic, Language and Computation in 2025!

https://2025.esslli.eu/courses-workshops-accepted.html

=> More informations about this toot | More toots from de_Jong_Tom@mathstodon.xyz

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113390883529197392
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
248.413785 milliseconds
Gemini-to-HTML Time
0.285384 milliseconds

This content has been proxied by September (3851b).