← 상세페이지

증명이 곧 프로그램이다: Curry-Howard Correspondence가 프로그래밍에 주는 통찰

endedScore 42026. 4. 22. 오후 1:41 ~ 2026. 4. 22. 오후 1:41

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1