scientific article; zbMATH DE number 408814
From MaRDI portal
Publication:4202959
zbMath0783.03032MaRDI QIDQ4202959
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive mathematicstheory of representationsfunction realizabilitylanguage of elementary analysis
Constructive and recursive analysis (03F60) Knowledge representation (68T30) Abstract data types; algebraic specification (68Q65)
Related Items (6)
Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ ⋮ On the (semi)lattices induced by continuous reducibilities ⋮ Unnamed Item ⋮ Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) ⋮ WEIHRAUCH GOES BROUWERIAN ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
This page was built for publication:
