3 ms·

Well, homotopy type theory is in the same general area of study as the type theory studied in computer science.