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