Invited talk at the conference Logic, Methodology of Science & its Applications at Emily Harvey Foundation. New York, New York, Sat August 17, 2024 (program)(slides)(video : all talks)(video : Q&A)
June 11, 2024
The Philosophy of HoTT: examining its foundational implications for mathematics and logic
Comments Off on The Philosophy of HoTT: examining its foundational implications for mathematics and logic
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.