Abstraction and invariance for algebraically indexed types (Q2931786)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Abstraction and invariance for algebraically indexed types |
scientific article; zbMATH DE number 6374665
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstraction and invariance for algebraically indexed types |
scientific article; zbMATH DE number 6374665 |
Statements
Abstraction and invariance for algebraically indexed types (English)
0 references
27 November 2014
0 references
computational geometry
0 references
dimensional analysis
0 references
information flow
0 references
invariance
0 references
metric types
0 references
parametricity
0 references
uniform continuity
0 references
units of measure
0 references
0.7380611896514893
0 references
0.7277647256851196
0 references
0.7273304462432861
0 references
0.7206276655197144
0 references
0.7160630822181702
0 references
