Login / Signup

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

Margarita V. KorovinaOleg V. Kudinov
Published in: CSL (2001)
Keyphrases