curry-howard同构的英文

• curry-howard correspondence
• curryhoward

• "curry"英文翻译    vt. 1.制(革)，鞣(皮)。 2.用马栉梳(马毛等) ...
• "howard"英文翻译    n. 霍华德〔姓氏，男子名〕。
• "curry-howard correspondence" 英文翻译 :    curry-howard对应; curry-howard同构
• "curry-howard对应" 英文翻译 :    curry-howard correspondence
• "同构" 英文翻译 :    graph isomorphism; homogeneous; isomorphismus isomorphism; morphism
• "curry" 英文翻译 :    n. 柯里〔姓氏〕。 n. 【烹】咖喱(粉)；咖喱饭菜。 curry and rice 咖喱炒饭。 a chicken curry 咖喱鸡。 vt. 在…中加咖喱粉调味。 curried rice 咖喱饭。 vt. 1.制(革)，鞣(皮)。 2.用马栉梳(马毛等)。 3.打(人)，鞭笞。 curry below the knee 〔美国〕过分讨好，巴结。 curry favour with (sb.) 巴结，讨好(某人)，拍(某人)马屁。
• "howard" 英文翻译 :    n. 霍华德〔姓氏，男子名〕。
• "k同构" 英文翻译 :    k isomorphism
• "丛同构" 英文翻译 :    bundle isomorphism
• "二同构" 英文翻译 :    two-isomorphism
• "反同构" 英文翻译 :    anti isomorphism; antiisomorphy; antiisomrphism; inverse isomorphism
• "格同构" 英文翻译 :    lattice isomorphism; latticehomomorphism
• "内同构" 英文翻译 :    inner isomorphism
• "群同构" 英文翻译 :    group isomorphism
• "弱同构" 英文翻译 :    weak isomorphism
• "同构的" 英文翻译 :    isomorph isomorphic; isomorphous
• "同构格" 英文翻译 :    isomorphic lattices
• "同构集" 英文翻译 :    isomorphic sets
• "同构类" 英文翻译 :    isomorphism class
• "同构群" 英文翻译 :    group of isomorphism; isomorphic groups; isomorphism group; simply isomorphic group
• "同构体" 英文翻译 :    isologue isolog; isologues; isomer
• "同构图" 英文翻译 :    isomorphic graphs; isomorphic mapping
• "同构系" 英文翻译 :    isologous series
• "同构象" 英文翻译 :    isomorphic image; isomorphic map
• "同构型" 英文翻译 :    isomorphism type