15 citations · 74 across the 20 of their papers we have counts for
1 paper · 1 filter
Mathieu Boespflug, Brigitte Pientka
Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framewo…