What does ITT stand for?
ITT stands for "Intuitionistic Type Theory"
How to abbreviate "Intuitionistic Type Theory"?
"Intuitionistic Type Theory" can be abbreviated as ITT
What is the meaning of ITT abbreviation?
The meaning of ITT abbreviation is "Intuitionistic Type Theory"
What does ITT mean?
ITT as abbreviation means "Intuitionistic Type Theory"
