Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] b - Coq - Document - PDFSEARCH.IO

First Page	Meta Content
	Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] b Add to Reading List Document Date: 2011-01-21 08:14:59 Open Document File Size: 33,00 KB Share Result on Facebook

Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] bAdd to Reading List