Report - On the characterization of the Taylor Expansion of -terms · 1 Introduction The lambda-calculus was invented by Alonzo Church in the thirties, as a way to describe computable functions,

Please pass captcha verification before submit form