×
  • A Modern Perspective on Type Theory: From its Origins until Today

    Fairouz Kamareddine Twan Laan Rob Nederpelt

Click on cover to enlarge.
8 - 9Hours to read