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

单词	Curry-Howard correspondence
释义	Curry-Howard correspondence [网络] 柯里-霍华德同构
随便看	zero and add packed zero and subtract zero angle zero angle cut zero argument zero-argument value zero article zeroary zero assignment zero asymptotic mean value zero attenuation zero attitude zeroaxial zero axial zero-axis component zero-axis current zero-axis load zero-axis symmetry zero azimuth zero back-bombardment zerobalance zero balance zero-balance account zero balance amplifier zero-balance bridge 躺在网里等人家活捉躺着房子卧着地躺着的牛饱不了肚子躺着睡大觉躺着说话不腰困輦碑刻石临大道，过者不读倚坏墙。车车不横推，理无曲断车不能方轨，马不能联辔车不辗地しょうほうしょうほうしょうほう【勝報（捷報）】しょうほう【唱法】しょうほう【商法】しょうほう【詳報】しょうほんしょうほんしょうほんしょうほん【抄本】