Report - Lambda Calculus - TUMChapter 1 Untyped Lambda Calculus 1.1 Syntax 1.1.1 Terms De nition 1.1.1. The set of lambda calculus terms is de ned as follows: t ::= c j x j (t 1 t 2) j ( x:t)

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form