@Inproceedings{EPTCS43.5, author = {Sacerdoti Coen, Claudio and Valentini, Silvio}, year = {2010}, title = {General Recursion and Formal Topology}, editor = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad}, booktitle = {{\rm Proceedings Workshop on} Partiality and Recursion in Interactive Theorem Provers, {\rm Edinburgh, UK, 15th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {43}, publisher = {Open Publishing Association}, pages = {65-75}, doi = {10.4204/EPTCS.43.5}, }