843 citations · 1.2k across the 5 of their papers we have counts for
1 paper · 1 filter
Sean K. Moss, Tamara von Glehn
We present two Dialectica-like constructions for models of intensional Martin-Löf type theory based on Gödel's original Dialectica interpretation and the Diller-Nahm variant, bring…