type theory, homotopy type theory, logic, semantics

type theory, homotopy type theory, logic, semanticsに関するニュース、研究、アップデートをAIが自動収集しています。