Talks

(workshops, seminars)

• Revisiting the correspondence between cut-elimination and normalisation, 3^rd Annual Meeting LINEAR, Merton College, University of Oxford, UK, 15-18 April 2000.
• Conservative extensions of the λ-calculus and the computational interpretation of sequent calculus, 4^th Annual Meeting LINEAR, Bologna, Italy, 22-25 April 2001
• The Curry Howard Correspondence and Some of its Extensions to Sequent Calculus, lectures, with Luís Pinto, Days in Logic, Universidade do Minho, 22-24 January 2004
• The multiary version of the lambda-calculus with generalised application, 2^nd APPSEM II Workshop (APPSEM’04), Tallinn, 14-16 April 2004, abstract, slides
• An isomorphism between sequent calculus and natural deduction for minimal logic, ICCL Workshop Proof Theory 2004, Dresden, 27-28 September 2004, abstract
• Unity in structural proof theory and structural extensions of the λ-calculus, 4^th International Workshop on Proof Theory, Computation, Complexity (PCC’05), Lisbon, 16-17 July 2005, abstract, slides
• Issues in a calculus of multiary sequent terms, Days in Logic’06, Coimbra, 19-21 January 2006, abstract, slides
• Simple proofs of strong cut-elimination, TYPES Meeting 2006, Nottingham, 18-21 April 2006, abstract, slides
• Demonstrações simples do teorema forte da eliminação do corte (Simple proofs of the strong cut-elimination theorem), Encontro Nacional da Sociedade Portuguesa de Matemática 2006 (ENSPM’06), Lisbon, 20-23 June 2006, abstract (in Portuguese), slides
• Cgps-translations for intuitionistic higher-order sequent calculi, TYPES Meeting 2008, 26-29 March 2008, Turin, Italy
• Two developments of Parigot’s lambda-mu calculus, Department of Computer Science, CMU, Pittsburgh, USA, 27 April 2009
• A new classical natural deduction, Days in Logic 2010, 28-30 January 2010, Porto

Last update: January 2010