Building up a toolbox for Martin-Löf’s type theory: subset theory (1998)

by G Sambin, S Valentini
Venue:Twenty-five Years of Constructive Type Theory