abstract-algorithmOptimal evaluation of some lambda termsfunctional-programminglambda-calculusinteraction-combinatorsinteraction-nets0.2.5 • Published 2 years ago