Recursion Theoretic Operators and Morphisms on Numbered Sets

Author(s)
Barendregt, Henk; Longo, Giuseppe
Thumbnail
DownloadMIT-LCS-TM-194.pdf (2.781Mb)
Metadata
Show full item record
Abstract
An operator is a map ?: Pω->Pω. By embedding Pω in two natural ways into the λ-calculus model Pω^2 (and T^ω) the computable maps on this latter structure induce several classes of recursion theoretic operators.
Date issued
1981-02
URI
https://hdl.handle.net/1721.1/149005
Series/Report no.
MIT-LCS-TM-194
Collections