General Recursion and Formal Topology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Claudio Sacerdoti Coen

Look up 'Claudio Sacerdoti Coen' in GoogleThis author has not been identified. Look up 'Silvio Valentini' in Google

runs on WebDSL