From Parametricity to Conservation Laws, via Noether’s Theorem (2014) [pdf]bentnib.org2 points·m_j_g··0 commentsOpen articleSaveView on HN