Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
www.arsmathematica.net
|
|
| | | | | ||
| | | | |
inquiryintoinquiry.com
|
|
| | | | | 1 post published by Jon Awbrey on November 16, 2013 | |
| | | | |
teachingbattleground.wordpress.com
|
|
| | | Teaching in British schools | ||
