Working with Mathematical Structures in Type Theory (2007)

by C Sacerdoti Coen, E Tassi
Venue:In: Proc. TYPES. Vol. 4941. LNCS