![Theoretical computer science / Logic / Mathematics / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Lambda calculus / Term / Relationships among probability distributions / Centripetal CatmullRom spline Theoretical computer science / Logic / Mathematics / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Lambda calculus / Term / Relationships among probability distributions / Centripetal CatmullRom spline](https://www.pdfsearch.io/img/7e300c99b25a5249eb5c3db2a94123ed.jpg) Date: 2009-12-10 13:51:51Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline | | Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 =Add to Reading ListSource URL: www.cs.bu.eduDownload Document from Source Website File Size: 120,06 KBShare Document on Facebook
|