researchers with a paper here
collaborating institutions

1 paper

cs.PL2022

A Theory of Conversion Relations for Prefixed Units of Measure

Baltasar Trancón y Widemann, Markus Lepper

Units of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic…