Sub:
일대일대응,one-to-one_correspondence = 전단사,bijection 전단사,bijection
대응원리,correspondence_principle (writing)
일대일대응,one-to-one_correspondence = 전단사,bijection 전단사,bijection
대응원리,correspondence_principle (writing)
Curry-Howard_correspondence = Curry-Howard_isomorphism
=,Curry-Howard_correspondence =,Curry-Howard_isomorphism
{
Curry-Howard
커리-하워드 대응|동형|동형사상
=,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
증명,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
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
.....
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
https://ko.wikipedia.org/wiki/대응
https://encyclopediaofmath.org/wiki/Correspondence - relation
(대체적으로) 같은 타입,type의 두 (집합,set이나 구조,structure) 사이 이항관계,binary_relation 개념,notion의 일반화,generalization.
correspondencecorrespondence
correspondence