Type classes for mathematics in type theory
SourceMathematical Structures in Computer Science, 21, 4, (2011), pp. 795-825
Article / Letter to editor
Display more detailsDisplay less details
Mathematical Structures in Computer Science
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.