Intuitionistic Type Theory

Author — Giovanni Sambin, Per Martin-Lof

Language: English