scientific article; zbMATH DE number 3289440

MaRDI QIDQ5573380zbMATH OpenFDO

Authors Justus Diller

Publication date 1968

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(3)

• An upper bound for reduction sequences in the typed -calculus
• Ein starker Normalisationssatz für die bar-rekursiven Funktionale
• A direct proof of Schwichtenberg's bar recursion closure theorem

This page was built for publication:

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