1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Lorenzo Gheri, Andrei Popescu
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are…