deniz
Search Results
Homotopy Type Theory
↑ 2 References
Mathematical Logic
→
Curriculum
→
#
>
some sort of study of
Homotopy Type Theory
→
A unifying language enables further discovery
→
Discussion
→
This is the power behind generalized theories like [[Category Theory]]
→
#
>
and
Homotopy Type Theory
maybe
→