R
esiduated
T
ransition
S
ystem
ResiduatedTransitionSystem
LambdaCalculus