Browsing LCS Technical Memos (1974 - 2003) by Author "Barendregt, Henk"

Now showing items 1-1 of 1

    • Recursion Theoretic Operators and Morphisms on Numbered Sets 

      Barendregt, Henk; Longo, Giuseppe (1981-02)
      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.