E.: Working with Mathematical Structures in Type Theory (2008)

by Sacerdoti Coen, C Tassi
Venue:In: Proceedings of TYPES 2007: Conference of the Types Project. Volume 4941 of LNCS