Dependently Typed Records for Representing Mathematical Structure (2000)

by Robert Pollack
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2000