Opaque.Glass
Search
Search
Search
Dark mode
Light mode
Explorer
Blogs
Taking nonlogical concepts seriously (Kris Brown)
Books
Category Theory (Awodey)
Counterfactuals and Causal Inference
Linear Algebra Done Right
Modal Homotopy Type Theory
Reasons for Logic, Logic for Reasons
Home
❯
tags
❯
Tag: concept-formalisms
Tag: concept-formalisms
1 item with this tag.
Jan 09, 2025
Modal Homotopy Type Theory
type-theory
concept-formalisms
david-corfield
todo