PCC 2016 Talks
extra page for the invited speakers of PCC
Alessio Guglielmi. Report on a 3-Year Project on Efficient and Natural Proof Systems
Andrea Aler Tubella and Alessio Guglielmi. Generalising Cut-Elimination through Subatomic Proof Systems
Ernst Zimmermann. Local confluence in Natural Deduction
Sam Sanders. The unreasonable effectiveness of Nonstandard Analysis Rene Gazzari. Pure Proofs
Thomas Piecha. Atomic Systems in Proof-Theoretic Semantics
Alessio Santamaria. Substitution in Deep Inference via Atomic Flows
Birgit Elbl. Decomposing a labelled sequent calculus for the logic of subset spaces
Peter Schuster, Davide Rinaldi and Daniel Wessel. Eliminating Disjunctions by Disjunction Elimination David Sherratt. Atomic Lambda Calculus and its connections with Sharing Graphs
Masahiko Sato. Proof theory of the lambda calculus