Type classes for mathematics in type theory
SPITTERS, BAS, VAN DER WEEGEN, EELISVolume:
21
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129511000119
Date:
August, 2011
File:
PDF, 365 KB
english, 2011