Robuta

https://research.tue.nl/en/publications/de-bruijns-syntax-and-reductional-equivalence-of-lambda-terms/ De Bruijn's syntax and reductional equivalence of lambda-terms - Research portal Eindhoven... de bruijn lambda terms research portal syntax reductional