LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"

Nordvall Forsberg, F. (Invited speaker)

Activity: Talk or presentation typesInvited talk

Period4 Feb 2020
Held atUniversity of Edinburgh, United Kingdom