Erik Palmgren
Constructivist versus structuralist foundations
2012
in: Epistemology versus ontology, Dordrecht : Springer


2012
with Dybjer P, Lindström Sten, Sundholm Göran (ed)
Dordrecht, Springer
From intuitionistic to point-free topology: on the foundation of homotopy theory
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer


2009
with Segerberg Krister (ed)
Dordrecht, Springer