Workshop on Homotopy Type Theory: Open Seminar

Posted in

Seminar

Date:

Wed, 10/02/2016 - 14:30 - Sun, 14/02/2016 - 18:00

Location:

MPIM Lecture Hall

Details:

Program and Abstracts of Workshop on Homotopy Type Theory: Open Seminar

© MPI f. Mathematik, Bonn

Impressum & Datenschutz

^-A A ⁺A