A Mechanized Translation from Higher-Order Logic to Set Theory (2010)

by KS10 A Krauss, A Schropp
Venue:Interactive Theorem Proving