Jacob Sussmilch

Tag: logic

1 item with this tag.

  • Mar 31, 2026

    Martin-Löf Type Theory

    • mathematics
    • type-theory
    • logic

Created with Quartz v4.5.2 © 2026