@book{85235,
	author = {Crosilla, Laura},
	title = {From sets and types to topology and analysis : towards practicable foundations for constructive mathematics},
	publisher = {Clarendon Press : },
	year = {2005.}
}