柯里霍华德同构

соответствие Карри — Ховарда, изоморфизм Карри — Ховарда

пословный:

柯	里	霍华德	同构
kē I сущ. 1) топорище 2) ветка 3) см. 柯树 4) * кэ (мера длины в 3 尺чи) II собств. 1) Кэ (фамилия) 2) Кэ (местность на территории нынешней пров. Хэнань, эпоха Чуньцю) 全词 >>	lǐ 3), 4), 5) = 裡, 1) ли (мера длины, равная 0,5 км) 2) книжн. родной край; (родная) деревня 3) подкладка 4) внутренняя сторона; внутренний 5) послелог внутри; в	huòhuádé Говард (фамилия или имя)	tónggòu 1) изоморфизм; линг. изология 2) комп. гомогенная архитектура