Types, equations, dimensions and the Pi theorem. - Nicola Botta; Patrik Jansson; Guilherme Horta Alvares Da Silva (CoRR, 2023)