5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Andreas Abel, Brigitte Pientka
In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextua…