Recursion Theoretic Operators and Morphisms on Numbered Sets
| dc.contributor.author | Barendregt, Henk | en_US |
| dc.contributor.author | Longo, Giuseppe | en_US |
| dc.date.accessioned | 2023-03-29T14:18:38Z | |
| dc.date.available | 2023-03-29T14:18:38Z | |
| dc.date.issued | 1981-02 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149005 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-194 | |
| dc.title | Recursion Theoretic Operators and Morphisms on Numbered Sets | en_US |
| dc.identifier.oclc | 7729206 |
