Extensions of lambda-calculi with explicit substitutions preserving the church-rosser's property. Manuscript (0)

by B Pagano