Workshop on Categorical Logic and Univalent Foundations: slides available

0 views

Skip to first unread message

unread,

Aug 15, 2016, 5:40:31 PM8/15/16

to homotopytypetheory

Dear all,

Most of the slides for the above workshop are now available in the programme section of its website: http://http://www.hott16.leeds.ac.uk/programme.html

Best wishes,

Christian Sattler (on behalf of the organizers)

Reply all

Reply to author

Forward

0 new messages