Sub:
일대일대응,one-to-one_correspondence = 전단사,bijection 전단사,bijection
대응원리,correspondence_principle (writing)

Curry-Howard_correspondence = Curry-Howard_isomorphism
=,Curry-Howard_correspondence =,Curry-Howard_isomorphism
{
Curry-Howard
커리-하워드 대응|동형|동형사상

REL
증명,proof - 프로그램,program
proof_calculus - type_system
Hilbert_system - combinatory_logic
natural_deduction - lambda_calculus
대응,correspondence
동형사상,isomorphism
Haskell_Curry

Twin
https://ko.wikipedia.org/wiki/커리-하워드_대응
https://en.wikipedia.org/wiki/Curry–Howard_correspondence
https://ja.wikipedia.org/wiki/カリー＝ハワード同型対応
} // Curry-Howard Curry-Howard Curry-Howard Curry-Howard

correspondence

.....

https://zetawiki.com/wiki/대응 DEL OK

https://en.wikipedia.org/wiki/Correspondence (disambig page. del ok)
https://ko.wikipedia.org/wiki/대응
https://encyclopediaofmath.org/wiki/Correspondence - relation
correspondence
correspondence
correspondence