Explore >> Select a destination
|
You are here 
|
rubaiathabib.me | ||
| | | | |
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... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk for the First-order Modal Logic (FoMoLo) Seminar, 12 February 2024. The talk will take place online via Zoom-contact the organizers for access. Abstract. What is or should be th... | |
| | | | |
jasongaston.net
|
|
| | | | | Storm is forced to face her worst fears in order to free herself. Professor X needs to make a important choice! Spoilers incoming! If you have not seen this episode, what the heck are you doing here!? Become a Patreon!https://www.patreon.com/jasonroygaston https://youtu.be/a0sk0JKhkfg #xmen #xmen97 | |
| | | | |
stonearch.net
|
|
| | | Although Intel has announced new high-end parts that are slated to launch later this year the i9-7900X is still Intel's fastest desktop CPU to date. | ||
