article · 2005
Arranged by Jue Wang based on a seminar by Assaf Kfoury
Cited by 0Abstract and details only
Abstract
The references are to Barendregt’s book [1]. Kleene’s characterization of the computable and partial computable functions. A numeric (or number-theoretic) function is a mapping ϕ: N p → N for some p ∈ N (§6.3, page 135). A partial numeric (or number theoretic) function is a partial mapping ϕ: N p ⇀ N for some p ∈ N (§8.4, page 178).
Cite this paper
(2005). Arranged by Jue Wang based on a seminar by Assaf Kfoury.
“Arranged by Jue Wang based on a seminar by Assaf Kfoury.” 2005.
2005. “Arranged by Jue Wang based on a seminar by Assaf Kfoury.”
(2005) ‘Arranged by Jue Wang based on a seminar by Assaf Kfoury’.
@article{anon2005arranged,
title = {{Arranged by Jue Wang based on a seminar by Assaf Kfoury}},
year = {2005}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.