85 citations · 95 across the 4 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…