(1 - 19 von 21
)
Programme • Homotopy Type Theory 2023GitHub Pages
hott.github.io
... Christopher Dean, Directed Types are Weak ω-Categories; Ulrik Buchholtz, ... Dan Christensen, Ulrik Buchholtz and Egbert Rijke, Central H-spaces and ...
Tom day Jong - George Kayegeorgejkaye.com
georgejkaye.com
— ... not assume any familiarity with HoTT and pause to introduce the relevant notions. This is joint work with Ulrik Buchholtz and Egbert Rijke.
sortiert nach Relevanz / Datum