Scarica Linnk AI
•
Assistente di Ricerca
>
Accedi
approfondimento
-
ホモトピー型理論
ホモトピー型理論：∞-ロゴスの図式の内部言語として
特定の図式における内部言語を使用して、∞-ロゴスを表現する。
非アクセス可能なローカライゼーション
ホモトピー型理論における非アクセス可能なローカライゼーションの構築とその応用に焦点を当てる。
1
