Time correction for Bohemian L&P Café: Michael Shulman, May 4
24 views
Skip to first unread message
Steve Awodey
Apr 30, 2021, 10:30:08 AM4/30/21
to Homotopy Type Theory, Ivan Di Liberti
~~~ Bohemian Logical & Philosophical Café ~~~
Speaker: Michael Shulman
Title: The derivator of setoids.
May 4 at 16.00 Prague time (GMT+2)
The zoom link is on the page:
https://bohemianlpc.github.io
Speaker: Michael Shulman
Title: The derivator of setoids.
May 4 at 16.00 Prague time (GMT+2)
The zoom link is on the page:
https://bohemianlpc.github.io
Reply all
Reply to author
Forward
0 new messages