Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin. Modelling the way mathematics is actually done. In Michael Sperber, Jean Bresson, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017. pages 10-19, ACM, 2017. [doi]
Abstract is missing.