EQ-algebra-based fuzzy type theory and its extensions
scientific article; zbMATH DE number 6037247