Opaque.Glass

Search

SearchSearch
      • Taking nonlogical concepts seriously (Kris Brown)
      • Category Theory (Awodey)
      • Counterfactuals and Causal Inference
      • Linear Algebra Done Right
      • Modal Homotopy Type Theory
      • Reasons for Logic, Logic for Reasons
    Home

    ❯

    tags

    ❯

    Tag: david-corfield

    Tag: david-corfield

    1 item with this tag.

    • Jan 09, 2025

      Modal Homotopy Type Theory

      • type-theory
      • concept-formalisms
      • david-corfield
      • todo

    Created with Quartz v4.2.3 © 2025