Back to Results
First PageMeta Content
Dependent type / Equations / Kirchhoff equations / Linear discriminant analysis / Physics / Mathematics / Type theory


Programming with Universes, Generically Andres Löh Well-Typed LLP 24 January 2012
Add to Reading List

Document Date: 2012-01-27 05:29:58

Open Document

File Size: 151,96 KB

Share Result on Facebook
UPDATE