Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Full Title: | Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory) |
---|---|
ISBN: | 8870881059 |
ISBN13: | 9788870881059 |
Authors: |
Martin-Lof, Per |