SPLS seminar: Set theory or type theory? It doesn't matter! (For ordinals)

Activity: Talk or presentation typesOral presentation

Period7 Jun 2023
Event titleScottish Programming Languages Seminar
Event typeWorkshop
Degree of RecognitionNational