Applied Semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September
9–15, 2000 Advanced Lectures / edited by Gilles Barthe, Peter Dybjer, Luís Pinto,
João Saraiva, 2002
Information trouvée : Professeur d'informatique, en poste à l'Université de technologie de Chalmers à Göteborg
en Suède (en 2002)
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer, 1997