Leeds Proofs, Constructions, and Computations Seminar: "Variations on inductive-recursive definitions"

Activity: Talk or presentation typesInvited talk

Period3 May 2017
Held atUniversity of Leeds, United Kingdom