커리-하워드 대응
커리-하워드 대응(Curry-Howard correspondence)는 논리 체계와 프로그래밍 언어 사이의 대응관계를 말한다 (Wadler 2015).
Wadler, Philip. 2015. “Propositions as Types.” Communications of the ACM 58 (12): 75–84. https://doi.org/10.1145/2699407.
커리-하워드 대응(Curry-Howard correspondence)는 논리 체계와 프로그래밍 언어 사이의 대응관계를 말한다 (Wadler 2015).