Klaus Weihrauch. Type 2 Recursion Theory. Theoretical Computer Science, 38:17-33, 1985.
@article{Weihrauch85,
title = {Type 2 Recursion Theory},
author = {Klaus Weihrauch},
year = {1985},
tags = {type theory},
researchr = {https://researchr.org/publication/Weihrauch85},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {38},
pages = {17-33},
}