Intuitionistic Type Theory

Giovanni Sambin, Per Martin-Lof

Language: English