Urs Schreiber , Some thoughts on the future of modal homotopy type theory ( Notes )

Thomas Streicher , Various ways of splitting and equality of objects ( slides )

The abstracts are available on the site above.

Last revised on September 25, 2018 at 04:47:53. See the history of this page for a list of all contributions to it.