Skip to main content
PRL Project

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.