Linnk AI 다운로드
•
자율 연구 보조원
>
로그인
통찰
-
선언적 의미론 기반 단순 호몰로지 연구
선언적 의미론 기반 단순 호몰로지
선언적 의미론을 통해 선형 논리의 증명을 기하학적 공간으로 표현하고, 이의 호몰로지 특성을 연구하고자 한다.
1