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

Nordvall Forsberg, F. (Invited speaker)

Activity: Talk or presentation typesInvited talk

Period3 May 2017
Held atUniversity of Leeds, United Kingdom