Birmingham Theoretical computer science seminar: “Inductive-inductive definitions: axiomatisation and categorical semantics”
- Nordvall Forsberg, F. (Speaker)
Activity: Talk or presentation types › Invited talk
Activity: Talk or presentation types › Invited talk