Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures … by Martin-Löf, Per fromStudies in Proof Theory 0 Type: Book
