Dependently Typed Records for Representing Mathematical Structure (2000)

Cached

Download Links

by Robert Pollack
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2000
Citations:14 - 0 self