scientific article

zbMath0422.03023MaRDI QIDQ3855168

Solomon Feferman

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive definitionslambda abstractiongeneralized recursion theoryKleene's schematarecursively continuous functionsrecursively countable functions

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Higher-type and set recursion theory (03D65) Proof theory and constructive mathematics (03F99)

Related Items

Computation on abstract data types. The extensional approach, with an application to streams, Feferman on Computability, A view of computability on term algebras, Computational foundations of basic recursive function theory