Semantic Characterisations of Second-Order Computability over the Real Numbers.

Margarita V. Korovina, Oleg V. Kudinov

Browse the full CSL paper archive.