Algebraic structures and dependent records (2003)

by D Doligez, T Hardin, V Prévosto
Venue:in Proceedings of TPHOL’03