%0 Generic %A Kamareddine, Fairouz D. %E Laan, Twan. %E Nederpelt, R. P. %@ 1402023340 %@ 1402023359 %T A modern perspective on type theory : from its origins until today /