Your purpose of and approach to learning Martin-Löf type theory is not clear to me, but I would recommend the following lecture note as a generic introduction to everyone who wishes to know something about Martin-Löf type theory: Per Martin-Löf. On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Nordic Journal of Philosophical Logic, 1(1): 11–60, 1996. http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf Above all, it is written by Martin-Löf himself! Yoshiki. On 2014/02/03, at 10:51, Vasili I. Galchin <vigalchin@gmail.com> wrote:
Hello Cat List,
I have downloaded many papers about Martin-Lof type theory papers ( .... maybe I just need to pound my head against the wall like other areas that I have I learned until a light goes on my mind?). However, any help on gentle tutorials on this subject would be much appreciated.
Kind regards,
Vasili
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Yoshiki Kinoshita 木下佳樹 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]