![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA
Thursday 03 June 2010, 10:00-12:15
Mini course on proof theory (Part 2)
- đ¤ Speaker: Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA
- đ Date & Time: Thursday 03 June 2010, 10:00 - 12:15
- đ Venue: Computer Laboratory, Room FW11
Questions? Contact
Sam Staton
Abstract
Sequent calculus, abstract machines, focalised classical logic, CPS translations, a bit of ludics, and an even smaller bit of linear logic (in this not quite historical order!). Syntax, and just syntax! (categories could squeeze in, but only time—and preparation time!—permitting)
Series This talk is part of the Mini Courses in Theoretical Computer Science series.
Included in Lists
- All Talks (aka the CURE list)
- All transferable skills in the university: computing
- bld31
- Cambridge talks
- Computer Laboratory, Room FW11
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- Mini Courses in Theoretical Computer Science
- Modelling Biology
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.