Modern Perspective on Type Theory From its Origins until Today Kamareddine, F.D. Innbundet / 2004 / Engelsk
