scientific article; zbMATH DE number 3440411

zbMath0281.02036MaRDI QIDQ4767297

William W. Tait

Publication date: 1971

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

Mathematics Subject Classification ID

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

Related Items

Strong normalization of barrecursive terms without using infinite terms, Equivalence of bar recursors in the theory of functionals of finite type, A domain model characterising strong normalisation, Non-determinism in Gödel's system \(T\), Theory of proofs (arithmetic and analysis)