Skip to main content
Log in
(current)
MIT Open Scholarship
DSpace@MIT
Search
Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Memos (1974 - 2003)
Recursion Theoretic Operators and Morphisms on Numbered Sets
Recursion Theoretic Operators and Morphisms on Numbered Sets
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.
Show more
Persistent DSpace Link
https://hdl.handle.net/1721.1/149005
