Write a Blog >>
Mon 20 Jan 2020 17:34 - 17:56 at Maurepas - Homotopy Type Theory and PC chairs' report Chair(s): Floris van Doorn

Mon 20 Jan

CPP-2020-papers
16:50 - 17:56: CPP 2020 - Homotopy Type Theory and PC chairs' report at Maurepas
Chair(s): Floris van DoornUniversity of Pittsburgh
CPP-2020-papers16:50 - 17:12
Talk
Anders MörtbergDepartment of Mathematics, Stockholm University, Loïc PujetGallinette Project-Team, Inria
DOI Pre-print Media Attached File Attached
CPP-2020-papers17:12 - 17:34
Talk
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
DOI Pre-print Media Attached File Attached
CPP-2020-papers17:34 - 17:56
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Cătălin HriţcuInria Paris
DOI Media Attached File Attached