Robin Havea

A Constructive Version of the Spectral Mapping Theorem

Douglas S. Bridges, Robin Havea, 2001, Math. Log. Q..

Separation properties in neighbourhood and quasi-apartness spaces

Hajime Ishihara, Luminita Vîta, Robin Havea, 2008, Math. Log. Q..

On Firmness of the State Space and Positive Elements of a Banach Algebra

Robin Havea, 2005, J. Univers. Comput. Sci..

Constructive Notions of Maximality for Ideals

Douglas S. Bridges, Robin Havea, 2008, J. Univers. Comput. Sci..

Ideals in constructive Banach algebra theory

Douglas S. Bridges, Robin Havea, Peter Schuster, 2006, J. Complex..

Square Roots and Powers in Constructive Banach Algebra Theory

Douglas S. Bridges, Robin Havea, 2012, CiE.