English translation for "curry-howard同构"

curry-howard correspondence
curryhoward

Related Translations:

curried:  adj.1.(菜)用咖喱烧的。2.(马等)梳刷过的。3.(皮革)鞣制过的。短语和例子curried rice with beef 咖喱牛肉饭。

currying:  curry化加脂操作加脂法梳洗加色

luke howard:  路克何华特

拓扑同构的:  topological isomorphic

giblets curry:  咖喱鸡杂

chicken curry:  鸡咖喱咖哩鸡咖喱鸡

curry laksa:  咖喱叻沙

curry shrimp:  咖喱虾

curry potato:  咖喱土豆

curried prawns:  咖喱明虾

Similar Words：

"curry tree" English translation, "curry vegetables" English translation, "curry wool" English translation, "curry-howard correspondence" English translation, "curry-howard对应" English translation, "currycomb" English translation, "currycomb file" English translation, "curryhoward" English translation, "currying" English translation, "currying preparation for ski" English translation