This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here:
https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf). This talk will cover chapter 4 of Selinger's notes, on the Church-Rosser Theorem.
| Building: | East Hall |
|---|---|
| Website: | |
| Event Type: | Workshop / Seminar |
| Tags: | Mathematics |
| Source: | Happening @ Michigan from Logic Seminar - Department of Mathematics, Department of Mathematics |
