1
종속 유형 검사가 결정 가능함을 보여주는 입증 기술
나는 현재 작업중 인 의존적 인 미적분학에 대한 유형 검사가 결정 가능하다는 것을 보여줄 필요가있는 상황에 처해 있습니다. 지금까지 나는 시스템이 강력하게 정규화되고 정의 평등이 결정 가능하다는 것을 증명할 수 있었다. 필자가 읽은 많은 참고 문헌에서 유형 검사의 결정 가능성은 강력한 정규화의 목록으로 나열되어 있으며 그러한 경우에는 그것을 믿지만 실제로 …