Mini course on proof theory (Part 1)

Add to your list(s) Download to your calendar using vCal

• Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA
• Tuesday 01 June 2010, 10:00-12:15
• Computer Laboratory, Room FW11.

If you have a question about this talk, please contact Sam Staton.

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)

This talk is part of the Mini Courses in Theoretical Computer Science series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• All transferable skills in the university: computing
• 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)
• Mini Courses in Theoretical Computer Science
• Modelling Biology
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.