We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Recursion Theoretic Operators and Morphisms on Numbered Sets

Thumbnail Image
Download
Name

MIT-LCS-TM-194.pdf

Size

2.78 MB

Format

Adobe PDF

Checksum (MD5)

994fdc213eca3ade6b1dc573d2279dc2

Author(s)
Barendregt, Henk
•
Longo, Giuseppe
Date Issued
February 1981
Series/Report no.
MIT-LCS-TM-194
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.