Working with mathematical structures in Type Theory (2007)

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