scientific article
From MaRDI portal
Publication:3081651
zbMath1244.03167MaRDI QIDQ3081651
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryapplicative theoriespartial truthhigher typesFeferman's explicit mathematicsfeasible operationstypes and names
Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items (3)
Realisability in weak systems of explicit mathematics ⋮ Implicit recursion-theoretic characterizations of counting classes ⋮ Applicative theories for logarithmic complexity classes
This page was built for publication:
