Giovanni Sambin
3 Publications
Two applications of dynamic constructivism
Brouwer's continuity principle and choice sequences in formal topology
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
Intuitionistic formal spaces — a first communication
1987
in: Mathematical logic and its applications, Berlin,
3 Publications