The formulae as classes interpretation of constructive set theory, Proof technology and computation (2006)

by M Rathjen
Venue:NATO Sci. Ser. III Comput. Sys. Sci