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
Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers Coquand Thierry Heftet / 2000 / Engelsk
Category Theory and Computer Science Manchester, UK, September 5-8, 1989. Proceedings Pitt David H. Heftet / 1989 / Engelsk
