I haven’t been keeping up with Girard as much as I would like, but am I correct in intuiting that this is the next step past Ludics? Update: I don’t see a citation, so I guess this is an exploration in a different…
I haven’t been keeping up with Girard as much as I would like, but am I correct in intuiting that this is the next step past Ludics? Update: I don’t see a citation, so I guess this is an exploration in a different…