5 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Andrej Dudenhefner
Higher-order beta-matching is the following decision problem: given two simply typed lambda-terms, can the first term be instantiated to be beta-equivalent to the second term? This…