Type theory and homotopy theory

    Activity: Talk or presentation › Invited talk › Popular

    Period19 May 2011
    Event titleMathematical Logic in The Netherlands (Groningen)
    Event typeSeminar