/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 bartoszmilewski.com
The Axiom of Univalence | Bartosz Milewski's Programming Cafe
| | homotopytypetheory.org
Inductive Types in HoTT | Homotopy Type Theory
2.8 parsecs away

Travel
| | With all the excitement about higher inductive types (e.g. here and here), it seems worthwhile to work out the theory of conventional (lower?) inductive types in HoTT. That's what Nicola Gambino, Kristina Sojakova and I have done, as we report in the following paper that's just been posted on the archive: Inductive types in Homotopy...
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
4.9 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | www.twanvl.nl
Type theory with indexed equality - the theory
3.6 parsecs away

Travel
| |
| | tripis2loud.home.blog
2loud
25.1 parsecs away

Travel
| wannalift-back-again-blog: Make some extra money and be healthier! www.bepic.com/gohealthy Source: analgaytwink.com