Constructivism in Non-Classical Logics and Computer Science - In Memoriam Pierangelo Miglioli