이 논문에서는 전략적 유형 이론(StraTT)을 소개합니다. StraTT는 유형 계층 대신 유형 판단을 계층화하여 일관성을 유지합니다. 이를 통해 유형 내 유형 규칙과 함께 종속 함수를 지원할 수 있습니다.
StraTT의 핵심 기능은 다음과 같습니다:
이 논문에서는 결정가능한 유형, 라이프니츠 등가, 종속 쌍과 같은 예제를 통해 StraTT의 표현력을 보여줍니다. 또한 subStraTT의 일관성과 StraTT의 유형 안전성을 증명했습니다. 전체 StraTT의 일관성은 여전히 미해결 문제입니다.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Jonathan Cha... lúc arxiv.org 04-09-2024
https://arxiv.org/pdf/2309.12164.pdfYêu cầu sâu hơn