Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
簡體網頁||繁體網頁
Isomorphisms of Types pdf epub mobi 著者簡介
Isomorphisms of Types pdf epub mobi 圖書描述
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. By means of a study into the syntax of the now widely known typed lambda-calculus, it is possible to identify some simple equations between types that on one hand can improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. In this book the author presents the theoretical aspects of this research.
Isomorphisms of Types pdf epub mobi 圖書目錄
點擊這裡下載
發表於2024-11-08
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
喜欢 Isomorphisms of Types 電子書 的读者还喜欢
Isomorphisms of Types pdf epub mobi 讀後感
圖書標籤:
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
Isomorphisms of Types pdf epub mobi 用戶評價
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
分享鏈接
Isomorphisms of Types 2024 pdf epub mobi 電子書 下載
相關圖書
-
中國畫名傢藝術研究 2024 pdf epub mobi 電子書 下載 -
Foreign Trade and Economic Reform in China 2024 pdf epub mobi 電子書 下載
-
毛保增寫意山水 2024 pdf epub mobi 電子書 下載
-
阪和的中國電影大觀 2024 pdf epub mobi 電子書 下載
-
北京城郊齣行詳圖 2024 pdf epub mobi 電子書 下載
-
江西省地圖冊 2024 pdf epub mobi 電子書 下載
-
瓜雕技法 2024 pdf epub mobi 電子書 下載
-
大眾菜譜828例 2024 pdf epub mobi 電子書 下載
-
花鳥雕技法 2024 pdf epub mobi 電子書 下載
-
病原生物學實驗教程 2024 pdf epub mobi 電子書 下載
-
現代食經-傢常食物應用全書 2024 pdf epub mobi 電子書 下載
-
冷盤製作與食品雕刻 2024 pdf epub mobi 電子書 下載
-
組織行為與管理 2024 pdf epub mobi 電子書 下載
-
Early Life on Earth 2024 pdf epub mobi 電子書 下載
-
組織行為學 2024 pdf epub mobi 電子書 下載
-
中國民間工藝 2024 pdf epub mobi 電子書 下載
-
科學技術辯證法與方法論 2024 pdf epub mobi 電子書 下載
-
白史 2024 pdf epub mobi 電子書 下載
-
做個好丈夫的9大準則 2024 pdf epub mobi 電子書 下載
-
神聖的婚禮 2024 pdf epub mobi 電子書 下載
