대응,correspondence

Sub:
일대일대응,one-to-one_correspondence = 전단사,bijection VG:전단사,bijection
... 일대일,one-to-one 페이지 만들까? WtEn:one-to-one WpEn:One-to-one Ggl:one-to-one
- 물론, 저건 단사,injection. VG:단사,injection 1-2-1 corresp 페이지 만든다면 1-2-1 페이지도 만드는게 good. 왜 깜박했지

대응원리,correspondence_principle (writing)

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







.....