Eelis van der Weegen
- Type Classes for Mathematics in Type Theory
2011/02/07 by Bas Spitters, Spitters, Bas, Eelis van der Weegen +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems