https://proofassistants.stackexchange.com/a/940/333 This answer is golden, it links to all of the best materials on Type Theory and related subjects. 2.5K views16:42