76 citations · 373 across the 18 of their papers we have counts for
1 paper · 2 filters
Andreas Abel
We introduce a simple functional language foetus (lambda calculus with tuples, constructors and pattern matching) supplied with a termination checker. This checker tries to find a…