Birmingham Theoretical computer science seminar: “Inductive-inductive definitions: axiomatisation and categorical semantics”

Activity: Talk or presentation typesInvited talk

Period28 Oct 2011
Held atUniversity of Birmingham, United Kingdom
Degree of RecognitionInternational