Conversations with Bill about functionals and terms

MaRDI QIDQ5236406zbMATH OpenFDO

Authors William Alvin Howard

Publication date 15 October 2019

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Other degrees and reducibilities in computability and recursion theory (03D30) Proof theory in general (including proof-theoretic semantics) (03F03) Functionals in proof theory (03F10)

Recommendations

• scientific article; zbMATH DE number 5054077
• Towards a formal theory of computability
• Computing with Functionals—Computability Theory or Computer Science?
• Proofs and computations
• Finite notations for infinite terms

This page was built for publication: Conversations with Bill about functionals and terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236406)