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