Functions, Proofs, Constructions, 21–23 February. tr [Internet]. 2014 Apr. 1 [cited 2026 Jul. 28];8(4). Available from: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25035