Breadcrumb Home About Find staff Naïm Favier Naïm Favier Doctoral Student Logic and Types (LT) Mail naim.favier@gu.se Visiting address Rännvägen 6 B 412 58 Göteborg Postal address Box 100 412 96 Göteborg