Skip to main content
PRL Project

Intersections, Unions and Games

by Robert L. Constable, Alexei Kopylov, Aleksey Nogin

In this semester last talk we are going to present some ideas that emerged while we were trying to understand Girard's Ludics logic. We will describe what we now understand about intersection and union in type theory, how they relate to categorical methods and we'll present Girard's game-theoretical approach to partial proofs.

Alexey Nogin's Slides