文章基本信息

标题：Models for Polymorphism over Physical Dimension
本地全文：下载
作者：Robert Atkey ; Neil Ghani ; Fredrik Nordvall Forsberg 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：38
页码：45-59
DOI：10.4230/LIPIcs.TLCA.2015.45
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We provide a categorical framework for models of a type theory that has special types for physical quantities. The types are indexed by the physical dimensions that they involve. Fibrations are used to organize this index structure in the models of the type theory. We develop some informative models of this type theory: firstly, a model based on group actions, which captures invariance under scaling, and secondly, a way of constructing new models using relational parametricity.
关键词：Category Theory; Units of Measure; Dimension Types; Type Theory