KnowledgeBase » 
SEMINAR
» ID = 284
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.