Ljubljana Foundations Seminar: "Applications and theory of higher inductive types"

Activity: Talk or presentation typesInvited talk

Period17 May 2016
Held atUniversity of Ljubljana, Slovenia