Back to Results
First PageMeta Content
Type system / Data types / Type theory / 8U


Formalizing An Extensional Semantics for Units-of-Measure
Add to Reading List

Document Date: 2010-07-30 12:09:56

Open Document

File Size: 867,69 KB

Share Result on Facebook
UPDATE