Type 2 recursion theory. Weihrauch, K. 38:17–33, 1985. bibtex @ARTICLE{Wei85,
author = {Weihrauch, Klaus},
title = {Type 2 recursion theory},
journal = TCS,
year = {1985},
volume = {38},
pages = {17--33},
file = {Wei85.pdf:Wei85.pdf:PDF},
keywords = {bib,cca,thi1}
}
Downloads: 0
{"_id":"EcP6AnKes2No8sieE","bibbaseid":"weihrauch-type2recursiontheory-1985","authorIDs":[],"author_short":["Weihrauch, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"title":"Type 2 recursion theory","year":"1985","volume":"38","pages":"17–33","file":"Wei85.pdf:Wei85.pdf:PDF","keywords":"bib,cca,thi1","bibtex":"@ARTICLE{Wei85,\r\n author = {Weihrauch, Klaus},\r\n title = {Type 2 recursion theory},\r\n journal = TCS,\r\n year = {1985},\r\n volume = {38},\r\n pages = {17--33},\r\n file = {Wei85.pdf:Wei85.pdf:PDF},\r\n keywords = {bib,cca,thi1}\r\n}\r\n\r\n","author_short":["Weihrauch, K."],"key":"Wei85","id":"Wei85","bibbaseid":"weihrauch-type2recursiontheory-1985","role":"author","urls":{},"keyword":["bib","cca","thi1"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.139Z","downloads":0,"keywords":["bib","cca","thi1"],"search_terms":["type","recursion","theory","weihrauch"],"title":"Type 2 recursion theory","year":1985,"dataSources":["t7rKiAbxugj4Agz8M"]}