Report copyright - Lambda Calculus - Technische Universität München8 CHAPTER 1. UNTYPED LAMBDA CALCULUS To make the choice of zin the last rule deterministic, assume that the variables are linearly
Please pass captcha verification before submit form