LFCS Seminar: "Inductive-inductive definitions in Type Theory"

Activity: Talk or presentation typesInvited talk

Period29 Apr 2015
Held atUniversity of Edinburgh, United Kingdom