# * Intersections, Unions and Games *

## by Robert L. Constable, Alexei Kopylov, Aleksey Nogin

1999-2000

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.