Types for Proofs and Programs International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Dybjer Peter Heftet / 1995 / Engelsk
Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures Barthe Gilles Heftet / 2002 / Engelsk
