Länkstig Hem Om universitetet Hitta person Naïm Favier Naïm Favier Doktorand Logik och typer (LT) E-post naim.favier@gu.se Besöksadress Rännvägen 6 B 412 58 Göteborg Postadress Box 100 412 96 Göteborg