Definitions from Wikipedia (Dialectica interpretation)

▸ noun:  In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic logic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T.


▸ Words similar to dialectica interpretation
▸ Usage examples for dialectica interpretation

▸ Idioms related to dialectica interpretation
▸ Wikipedia articles (New!)
▸ Words that often appear near dialectica interpretation
▸ Rhymes of dialectica interpretation

▸ Invented words related to dialectica interpretation