scientific article; zbMATH DE number 1418436
From MaRDI portal
Publication:4941991
zbMath0951.03054MaRDI QIDQ4941991
Reinhard Kahle, Gerhard Jäger, Thomas Strahm
Publication date: 26 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyproof theorypolynomial timeapplicative theoriesexplicit mathematicsclassical logicfunctionals of higher types
Related Items (7)
Formalizing non-termination of recursive programs ⋮ The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories ⋮ Theories with self-application and computational complexity. ⋮ The Operational Perspective: Three Routes ⋮ Explicit mathematics: power types and overloading ⋮ Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe ⋮ Universes over Frege structures
This page was built for publication:
