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

单词	Curry-Howard correspondence
释义	Curry-Howard correspondence [网络] 柯里-霍华德同构
随便看	pudding opium pudding pan pudding pie pudding-pie pudding pies pudding-pipe tree pudding pipe tree pudding pipe trees pudding-prick pudding rather praise pudding rather than praise pudding rice puddings puddings and pies pudding sleeve puddingstone pudding-stone pudding stone pudding stone jade pudding stones puddingstones pudding-time pudding time puddingtime puddington 韬光用晦韬光隐晦韬光隐迹韬光韫玉韬声匿迹韬形灭影韬戈偃武韬戈卷甲韬晦之计韬晦待时とつレンズ【凸レンズ】とつ国とてとていとてい【徒弟】とてつとてつ【途轍】とてもとてもとてもとでん