scientific article; zbMATH DE number 3289440

zbMath0182.01701MaRDI QIDQ5573380

Justus Diller

Publication date: 1968

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

An upper bound for reduction sequences in the typed \(\lambda\)-calculus, A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM, Ein starker Normalisationssatz für die bar-rekursiven Funktionale