The top documents tagged [free occurrence of x]

Predicate Calculus Formal Methods in Verification of Computer Systems Jeremy Johnson.

---

219 views

Lambda Calculus Prepared by Manuel E. Bermúdez, Ph.D. Associate Professor University of Florida Programming Language Principles Lecture 11.

---

220 views

Lambda Calculus

---

51 views