Publication:4941991
From MaRDI portal
zbMath0951.03054MaRDI QIDQ4941991
Gerhard Jäger, Reinhard Kahle, Thomas Strahm
Publication date: 26 December 2000
survey; proof theory; polynomial time; applicative theories; explicit mathematics; classical logic; functionals of higher types
03F50: Metamathematics of constructive systems
Related Items
Explicit mathematics: power types and overloading, Formalizing non-termination of recursive programs, Theories with self-application and computational complexity., Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe, Universes over Frege structures