A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

TitleA Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem
Publication TypeJournal Article
Year of PublicationIn Press
AuthorsOliva, P, Steila, S
JournalJournal of Symbolic Logic
URLhttp://www.iam.unibe.ch/ltgpub/2017/os17.pdf