Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
원시 재귀 함수
원시 재귀적 종속 타입 이론
원시 재귀 함수는 Martin-Löf 타입 이론(MLTT)에서 Π-타입을 포함하지 않는 유니버스 내에서 정의된 모든 함수로 표현될 수 있다.
1