@article{paperid:1053932,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {On the Constructive Notion of Closure Maps},
journal = {Mathematical Logic Quarterly},
year = {2012},
volume = {58},
number = {4},
month = {July},
issn = {0942-5616},
pages = {348--355},
			numpages = {7},
keywords = {Constructive reverse mathematics; closure maps; fan theorem},
}