Claudio Sacerdoti Coen, Enrico Tassi. Working with Mathematical Structures in Type Theory. In Marino Miculan, Ivan Scagnetto, Furio Honsell, editors, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Volume 4941 of Lecture Notes in Computer Science, pages 157-172, Springer, 2007. [doi]
Abstract is missing.