From parametricity to conservation laws, via Noether's theorem (Q5408444)
From MaRDI portal
scientific article; zbMATH DE number 6282446
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From parametricity to conservation laws, via Noether's theorem |
scientific article; zbMATH DE number 6282446 |
Statements
From parametricity to conservation laws, via Noether's theorem (English)
0 references
10 April 2014
0 references
classical mechanics
0 references
conservation laws
0 references
higher-kinded types
0 references
invariance
0 references
relational parametricity
0 references
