type theory, homotopy type theory, logic, semantics

关于type theory, homotopy type theory, logic, semantics的新闻、研究和更新。由AI引擎自动整理。