Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory

Bas Spitters. Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory. Order, 27(2):225-233, 2010. [doi]

Authors

Bas Spitters

This author has not been identified. Look up 'Bas Spitters' in Google