Budapest Type Theory Seminar: "Quantitative type theory and data types"

Activity: Talk or presentation typesInvited talk

Period31 Mar 2021
Held atEötvös Loránd University, Hungary