Breadcrumb Home About Find staff Peter Dybjer Peter Dybjer Professor Logic and Types (LT) Telephone +46 31-772 10 35 Mail peterd@chalmers.se Fax +46 31-16 56 55 Visiting address Rännvägen 6 41258 Göteborg Room number 6225 Postal address Chalmers 41296 Göteborg