涉及“类型”的哲学著作或数学分支有哪些