Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens. Z-stability in Constructive Analysis. Logical Methods in Computer Science, 12(3), 2016. [doi]
@article{BridgesDM16,
title = {Z-stability in Constructive Analysis},
author = {Douglas S. Bridges and James E. Dent and Maarten McKubre-Jordens},
year = {2016},
url = {http://arxiv.org/abs/1602.07368},
researchr = {https://researchr.org/publication/BridgesDM16},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {12},
number = {3},
}