Robert Pollack. Dependently Typed Records for Representing Mathematical Structure. In Mark Aagaard, John Harrison, editors, Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Volume 1869 of Lecture Notes in Computer Science, pages 462-479, Springer, 2000.
Abstract is missing.