Giovanni Sambin
Real and ideal in constructive mathematics
2012
in: Epistemology versus ontology, Dordrecht : Springer
Two applications of dynamic constructivism
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Intuitionistic formal spaces — a first communication
1987
in: Mathematical logic and its applications, Dordrecht : Springer