英语词汇“Curry-Howard correspondence”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	Curry-Howard correspondence
释义	Curry-Howard correspondence [网络] 柯里-霍华德同构
随便看	directly heated rotary dryer directly heated thermistor directly-heated thermistor directly indecomposable lattice directly ionizing particle directly ionizing particles directly ionizing radiation directly laid track directly-left recursive directly loading unit directly mains operated chassis directly mapped cache directly modulated transmitter directly operable input/output directly produce directly projective element directly proportional directly recursive directly reduce directly reduced iron directly reduce to directly related directly related entertainment directly responsible personnel directly revealed preferred 礼至不争礼节民心，乐和民声。礼衰则客去礼让礼让一寸，得礼一尺。礼记礼貌过甚者情必疏。礼貌过盛者情必疏，势分太明者道必暗。礼貌过盛者，情必疏。礼贤下士，圣人垂训；骄侈矜尚，先哲所去。こうとりい【公取委】こうどこうどこうどこうどこうどこうどこうどこうど【光度】こうど【硬度】