Conference item icon

Conference item

Models for polymorphism over physical dimensions

Abstract:
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.
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.TLCA.2015.45

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Funding agency for:
Staton, S
Publisher:
Leibniz International Proceedings in Informatics Publisher's website
Journal:
Leibniz International Proceedings in Informatics, LIPIcs Journal website
Volume:
38
Pages:
45-59
Host title:
International Conference on Typed Lambda Calculi and Applications
Publication date:
2015-06-01
DOI:
ISSN:
1868-8969
Source identifiers:
609716
ISBN:
9783939897873
Keywords:
Pubs id:
pubs:609716
UUID:
uuid:607f1c0e-6a4b-4c17-a8d4-d62632559488
Local pid:
pubs:609716
Deposit date:
2016-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP