Points of Contact with Girard (Nuprl ∩ Ludics)
by Robert L. Constable
This PRL seminar will explore connections between Nuprl's class theory and Jean-Yves Girard's new theory of logic called Ludics. Girard has based Ludics on a logical theory of space and time. It turns out that several consequences of his logical theory of space can be explained as results about naming conventions in Nuprl dependent records.