Domain-Theoretic Foundations of Functional Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
Domain-Theoretic Foundations of Functional Programming 在线电子书 图书标签: 計算機 數學
喜欢 Domain-Theoretic Foundations of Functional Programming 在线电子书 的读者还喜欢
点击这里下载
发表于2024-09-29
Domain-Theoretic Foundations of Functional Programming 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Domain-Theoretic Foundations of Functional Programming 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
Domain-Theoretic Foundations of Functional Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
Domain-Theoretic Foundations of Functional Programming 在线电子书 用户评价
組織不好錯字多。
评分組織不好錯字多。
评分組織不好錯字多。
评分組織不好錯字多。
评分組織不好錯字多。
Domain-Theoretic Foundations of Functional Programming 在线电子书 著者简介
Domain-Theoretic Foundations of Functional Programming 在线电子书 图书目录
Domain-Theoretic Foundations of Functional Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
Domain-Theoretic Foundations of Functional Programming 在线电子书 图书描述
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail.A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations.A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.
Domain-Theoretic Foundations of Functional Programming 在线电子书 读后感
评分
评分
评分
评分
Domain-Theoretic Foundations of Functional Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
Domain-Theoretic Foundations of Functional Programming pdf 电子书 下载链接
Domain-Theoretic Foundations of Functional Programming 在线电子书 相关图书
-
Computational Complexity 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载 -
The Blackwell Guide to the Philosophy of Computing and Information 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
大学计算机应用教程 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Visual FoxPro数据库应用技术 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
PHP and MySQL Web Development 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
通俗数学名著译丛（下） 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
基础代数学讲义 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
A First Course of Homological Algebra 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
有限维半单李代数简明教程 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
P-adic Analysis Compared With Real 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Linear Algebraic Groups 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Automorphic Representations and L-Functions for the General Linear Group 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Representation Theory of Semisimple Groups 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Twenty-Four Hours of Local Cohomology 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Cohomological Theory of Crystals over Function Fields 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Chiral Algebras 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Coxeter Matroids 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Lie Groups, Lie Algebras, and Cohomology 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Automorphic Representations and L-Functions for the General Linear Group 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Proofs and Confirmations 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
