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