Yes, it's this paper but there's no English translation. Girard mostly (only?) write in French now. I believe LLM like ChatGPT or Claude do a great job nowadays?
He's indeed very special and looks like he's writing to himself (especially in his last works). However, after trying to understand his last works for 3-4 years in full-time, I can't say he's "crazy". I would rather say…
Thank you very much!
I created an account for this thread and answered right away. If it's not because of that, then I suspect it's because of too much subjectivity / bias / self-promotion. I didn't exactly talk about my own works but my…
I'm not very familiar with the static analysis of algorithms, abstract interpretation and collapsing stacks of interpreters but I'm curious if you have any intuitions (even vague ones). I don't think there is any…
Formally speaking, transcendental syntax is the successor of the Geometry of Interaction programme (which is sort of parallel to the development of ludics). It gives a new and more general version (or an abstraction) of…
I'm the author of this repository. I just want to point out that it was an experiment / proof-of-concept for the ideas of Girard's transcendental syntax (I didn't even expect it would be posted somewhere outside of my…
Yes, it's this paper but there's no English translation. Girard mostly (only?) write in French now. I believe LLM like ChatGPT or Claude do a great job nowadays?
He's indeed very special and looks like he's writing to himself (especially in his last works). However, after trying to understand his last works for 3-4 years in full-time, I can't say he's "crazy". I would rather say…
Thank you very much!
I created an account for this thread and answered right away. If it's not because of that, then I suspect it's because of too much subjectivity / bias / self-promotion. I didn't exactly talk about my own works but my…
I'm not very familiar with the static analysis of algorithms, abstract interpretation and collapsing stacks of interpreters but I'm curious if you have any intuitions (even vague ones). I don't think there is any…
Formally speaking, transcendental syntax is the successor of the Geometry of Interaction programme (which is sort of parallel to the development of ludics). It gives a new and more general version (or an abstraction) of…
I'm the author of this repository. I just want to point out that it was an experiment / proof-of-concept for the ideas of Girard's transcendental syntax (I didn't even expect it would be posted somewhere outside of my…