CLC MEETING PROCEEDINGS

Editors: Paulo Oliva, Stefano Berardi and Steffen van Bakel

Authors	Title	Paper	Talk
Michele Basaldella	Infinitary Classical Logic: Recursive Equations and Interactive Semantics		Jul 13 14:30
Emmanuel Beffara	A proof-theoretic view on scheduling in concurrency		Jul 13 11:30
David Cerna and Alexander Leitsch	Cut-Elimination in Schematic Proofs and Herbrand Sequents		Jul 13 15:20
Harley Eades Iii, Aaron Stump and Ryan McCleeary	Dualized Type Theory		Jul 13 11:10
José Espírito Santo, Ralph Matthes, Koji Nakazawa and Luís Pinto	Confluence for classical logic through the distinction between values and computations		Jul 13 12:30
Herman Geuvers, Wouter Geraedts, Bram Geron and Judith van Stegeren	A type system for Continuation Calculus		Jul 13 12:00
Dominic Hughes	Separable Sequent Calculus for First-order Classical Logic (Work in Progress)		Jul 13 15:00
Kentaro Kikuchi and Takafumi Sakurai	A Translation of Intersection and Union Types for the lambda-mu Calculus		Jul 13 10:50
Bassel Mannaa and Thierry Coquand	A sheaf model of the algebraic closure		Jul 13 16:30
Koji Nakazawa	Extensional Models of Typed Lambda-mu Calculus		Jul 13 10:00
Matthieu Perrinel	Stratified Nested Linear Logic		Jul 13 15:40
Steffen van Bakel and Maria Grazia Vigliotti	A fully-abstract semantics of lambda-mu in the pi-calculus