scientific article; zbMATH DE number 1047956
From MaRDI portal
Publication:4348037
zbMath0874.03069MaRDI QIDQ4348037
Publication date: 5 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bar recursiontransfinite recursionconstructive arithmeticset modellambda-abstractionformation rules of termsformation rules of typesparametric abstractionterm-formstype-forms
Related Items (2)
Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
This page was built for publication: