Ordinal Strength of Logic-Enriched Type Theories
Robin Adams · 2012
Type theories are formal languages in which both algorithms and proofs may be expressed. There should therefore be applications to proof complexity. The type theory and ‘mainstream ’ logical communities have been very