Z-stability in Constructive Analysis

Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens. Z-stability in Constructive Analysis. Logical Methods in Computer Science, 12(3), 2016. [doi]

Authors

Douglas S. Bridges

This author has not been identified. Look up 'Douglas S. Bridges' in Google

James E. Dent

This author has not been identified. Look up 'James E. Dent' in Google

Maarten McKubre-Jordens

This author has not been identified. Look up 'Maarten McKubre-Jordens' in Google