%0 Journal Article %1 journals/mscs/Escardo15 %A Escardó, Martín %D 2015 %J Math. Struct. Comput. Sci. %K dblp %N 7 %P 1578-1589 %T Constructive decidability of classical continuity. %U http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Escardo15 %V 25

@article{journals/mscs/Escardo15, added-at = {2020-04-01T00:00:00.000+0200}, author = {Escardó, Martín}, biburl = {https://www.bibsonomy.org/bibtex/2116928fad8bd110b755e8b0787bcdfc7/dblp}, ee = {https://doi.org/10.1017/S096012951300042X}, interhash = {2044c373515a3ad27ee5c6ffa6d097e1}, intrahash = {116928fad8bd110b755e8b0787bcdfc7}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {1578-1589}, timestamp = {2020-04-02T11:40:52.000+0200}, title = {Constructive decidability of classical continuity.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs25.html#Escardo15}, volume = 25, year = 2015 }