Universal Algebra in Type Theory (1999)

by V Capretta
Venue:In 12th International Conference on Theorem Proving in Higher Order Logics (TPHOLs