F. D. Kamareddine

Modern Perspective on Type Theory