📝CPS is a subset of lambda-calculus

source

Appel₁₉₉₂

CPS is a subset of λ-calculus. The only restriction is that there is no returns and all functions calls are tail calls.