7 citations · 22 across the 9 of their papers we have counts for
1 paper · 1 filter
Á. García-Pérez, P. Nogueira
In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable…