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

单词	Curry-Howard correspondence
释义	Curry-Howard correspondence [网络] 柯里-霍华德同构
随便看	total efficiency of locomotive total efficiency of the pumping system total electrical charge total electric load total electron binding energy total electron content total elongation total embargo totalement total emission total emission control total emission current total emission reduction cost (terc) total emissive power total emissivity total emissivity measurement total emittance total emitter current total employment total enclosed type total enclosed ventilation total encolosed type total ends in warp total energy total energy approach 狼眼鼠眉狼突豕窜狼突鸱张狼羊同饲狼艰狈蹶狼虫虎豹狼贪虎视狼贪鼠窃狼顾狐疑狼顾虎视夏山夏念仏夏日夏時間夏期夏木立夏枯れ夏枯レ夏椿夏炉冬扇