Two direct proofs that LLPO implies the detachable fan theorem. - Douglas S. Bridges; James E. Dent; Maarten McKubre-Jordens (Log. J. IGPL, 2013)

Z-stability in Constructive Analysis. - Douglas S. Bridges; James E. Dent; Maarten McKubre-Jordens (Log. Methods Comput. Sci., 2016)