Revisiting Jean-Yves Girard's Transcendental Syntax. For the love of druj, can someone explain to me in a few sentences what a gabarit is? Is it like the choices Geist makes in navigating its history? @insurrealist @deontologistics
-
-
I’ve never really gotten my head around them. They’re essentially a form of natural deduction, but without strict temporal ordering. I found a couple resources though.
-
Does this have anything to do with the suspension of global polarity and retaining local polarity instead (true concurrency) that Abrahmsky and Jagadeesan are talking about?
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.