@article{Pauly_2017,
    doi = {10.1007/s00224-016-9745-6},
    url = {https://doi.org/10.1007%2Fs00224-016-9745-6},
    year = {2017},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {62},
    number = {3},
    pages = {557--582},
    author = {Arno Pauly and Florian Steinberg},
    title = {Comparing Representations for Function Spaces in Computable Analysis},
    journal = {Theory of Computing Systems}
}

@article{Pauly_2017, doi = {10.1007/s00224-016-9745-6}, url = {https://doi.org/10.1007%2Fs00224-016-9745-6}, year = {2017}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {62}, number = {3}, pages = {557--582}, author = {Arno Pauly and Florian Steinberg}, title = {Comparing Representations for Function Spaces in Computable Analysis}, journal = {Theory of Computing Systems} }