Geometric Computability: Functional programming for gauge theory researchgate.net 2 points by bkaminsky 12 hours ago