Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → a - Coq - Document - PDFSEARCH.IO

First Page	Meta Content
	Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → a Add to Reading List Document Date: 2012-01-18 09:49:06 Open Document File Size: 42,28 KB Share Result on Facebook

Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → aAdd to Reading List