Hi, the nLab page on type theory has a fairly broad and commented collection of pointers to type theory literature, introductions, textbooks, for logic or computer science, etc. Here: http://ncatlab.org/nlab/show/type+theory#References Personally I would recommend one reference above all others: the introduction chapter to the homotopy type theory book: http://ncatlab.org/nlab/show/Homotopy+Type+Theory+--+Univalent+Foundations+o... Best wishes, Urs On 2/3/14, 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/ ]

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]