Universal Algebra in Type Theory (1999)

by Venanzio Capretta
Venue:Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs '99, volume 1690 of LNCS
Citations:8 - 6 self