Curry-Howard

타입 시스템은 왜 증명처럼 동작하는가

타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지

Jan 25, 2026