T. Laan

• Modern Perspective on Type Theory