curry-howard correspondence 中文意思是什麼
curry-howard correspondence
解釋
curry-howard對應- curry : n 柯里〈姓氏〉。n 【烹】咖喱（粉）；咖喱飯菜。 curry and rice 咖喱炒飯。 a chicken curry 咖喱雞。...
- howard : n. 霍華德〈姓氏，男子名〉。
- correspondence : n. 1. 通信；信件。2. 符合，一致；相當；對應。3. 【文藝】通感。
-
目前還沒有curry-howard correspondence例句。
分享友人