Courses

Sabine Broda (U. Porto, Portugal)
Simply typed lambda-calculus
(abstract in pdf-format, html-format)

Thierry Coquand (U. Chalmers, Sweden)
Some applications of Buchholz's Omega rule
(abstract in pdf-format, html-format)

José Espírito Santo and Luís Pinto (U. Minho, Portugal)
The Curry/Howard correspondence and some of its extensions to sequent calculus
(abstract in pdf-format, html-format)

Isabel Oitavem (U. Nova de Lisboa, Portugal)
Implicit characterizations of complexity classes
(abstract in pdf-format, html-format)