41 citations · 172 across the 17 of their papers we have counts for
1 paper · 1 filter
Andreas Abel, Nicolai Kraus
We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable…