20 citations · 20 across the 5 of their papers we have counts for
1 paper · 2 filters
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…