Login / Signup
Type Classes for Mathematics in Type Theory
Bas Spitters
Eelis van der Weegen
Published in:
CoRR (2011)
Keyphrases
</>
artificial intelligence
multiscale
pairwise
user interface