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