A Modern Perspective on Type Theory: From Its Origins Until Today by F.D. Kamareddine

download center

A Modern Perspective on Type Theory: From Its Origins Until Today

F.D. Kamareddine - A Modern Perspective on Type Theory: From Its Origins Until Today
Enter the sum