structural induction 1 post [Programming Languages #2] Structural Induction과 프로그램의 의미 정의 Mar 18, 2026