HoTT research seminar (Coquand & Rijke)

Add to your list(s) Download to your calendar using vCal

• Andrew Pitts (University of Cambridge)
• Thursday 29 June 2017, 15:30-17:30
• Seminar Room 2, Newton Institute.

If you have a question about this talk, please contact INI IT.

This talk has been canceled/deleted

15:30-16:30: Thierry Coquand (Chalmers), “Cubical stacks”

16:30-17:30: Egbert Rijke (CMU), “Colimits, descent and equifibrant replacement”

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.