14 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Erik Palmgren
A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic. The i…