This is a learning seminar on dependent type theory, following Egbert Rijke's book "Introduction to Homotopy Type Theory." This talk will cover chapter 5 of Rijke's book, on identity types.
| Building: | East Hall |
|---|---|
| Website: | |
| Event Type: | Workshop / Seminar |
| Tags: | Mathematics |
| Source: | Happening @ Michigan from Logic Seminar - Department of Mathematics, Department of Mathematics |
