"The Inconsistency of a Brouwerian Continuity Principle with the ..."

Martín Hötzel Escardó, Chuangjie Xu (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics