Jacob Sussmilch

Tag: logic

1 item with this tag.

  • May 15, 2026

    Martin-Löf Type Theory

    • mathematics
    • type-theory
    • logic

Created with Quartz v4.5.2 © 2026