64 citations · 159 across the 14 of their papers we have counts for
1 paper · 2 filters
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…