Towards Computability of Higher Type Continuous Data.

Margarita V. Korovina, Oleg V. Kudinov

Browse the full CiE paper archive.