61 citations · 90 across the 12 of their papers we have counts for
1 paper · 2 filters
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop +1
As observed by Intrigila, there are hardly techniques available in the lambda-calculus to prove that two lambda-terms are not beta-convertible. Techniques employing the usual Boehm…