“Functions, Proofs, Constructions, 21–23 February” (2014) The Reasoner, 8(4). Available at: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25035 (Accessed: 28 July 2026).