PRL Seminars
Robert Constable, Alexei Kopylov and Aleksey Nogin
Intersections, Unions and GamesDecember 6, 1999
CommentIn 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.Slides
|
| Home |