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]

Abstract

Abstract is missing.