General Recursion and Formal Topology

Claudio Sacerdoti Coen, Silvio Valentini. General Recursion and Formal Topology. In Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, pages 71-82, EasyChair, 2010. [doi]


Abstract is missing.