具型式之 λ 演算
中 文 具型式之 λ 演算
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 具型式之 λ 演算 | typed lambda-calculus | 【電子計算機名詞】 |
| λ演算 | λ-calculus | 【電子計算機名詞】 |
| λ演算 | lambda calculus | 【資訊與通信術語辭典】 |
| 載具型式 | Carrier Type | 【電子工程】 |
| 載具型式 | Carrier Type | 【電子計算機名詞】 |
| 單一 ASN.1 型式之基本編碼規則 | basic encoding rules of a single ASN.1 type | 【電子計算機名詞】 |
| λ演算記法 | lambda calculus notation | 【電子計算機名詞】 |
| λ演算 | lambda calculus | 【電子計算機名詞】 |
| 文件型式之緊密 | tightening of a document type | 【電子計算機名詞】 |
| 具型式記憶體埠 | typed memory port | 【電子計算機名詞】 |
| 具型式記憶體池 | typed memory pool | 【電子計算機名詞】 |
| 具型式記憶體物件 | typed memory object | 【電子計算機名詞】 |
| 具型式記憶體名稱空間 | typed memory name space | 【電子計算機名詞】 |
| 具型式的 | typed | 【電子計算機名詞】 |
| 文件型式之鬆弛 | relaxation of a document type | 【電子計算機名詞】 |
| 鍵程式型式函數計算機 | key program type function computer | 【電子計算機名詞】 |
| 純 λ 演算 | pure lambda-calculus | 【電子計算機名詞】 |
| 海報型式之平面佈局 | poster-style format | 【新聞傳播學名詞】 |
| 故障型式之結構 | failure mode， structure of | 【通訊工程】 |
| 有效資料型式和演算法的程式庫 | Library of Efficient Data types and Algorithms | 【電子計算機名詞】 |