Domain-Theoretic Foundations of Functional Programming 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

Domain-Theoretic Foundations of Functional Programming pdf epub mobi 著者簡介

---

Domain-Theoretic Foundations of Functional Programming pdf epub mobi 圖書描述

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 2024 pdf epub mobi 電子書 下載

---

Domain-Theoretic Foundations of Functional Programming pdf epub mobi 圖書目錄

Preface ix
Introduction 1
PCF and its Operational Semantics 13
The Scott Model of PCF 23
Basic Domain Theory 25
Domain Model of PCF 32
LCF - A Logic of Computable Functionals 34
Computational Adequacy 37
Milner's Context Lemma 43
The Full Abstraction Problem 45
Logical Relations 51
Some Structural Properties of the D[sigma] 57
Solutions of Recursive Domain Equations 65
Characterisation of Fully Abstract Models 77
Sequential Domains as a Model of PCF 87
The Model of PCF in S is Fully Abstract 95
Computability in Domains 99
Bibliography 117
Index 119
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-11-24

Domain-Theoretic Foundations of Functional Programming 2024 pdf epub mobi 電子書 下載

Domain-Theoretic Foundations of Functional Programming 2024 pdf epub mobi 電子書 下載

Domain-Theoretic Foundations of Functional Programming 2024 pdf epub mobi 電子書 下載

---

喜欢 Domain-Theoretic Foundations of Functional Programming 電子書 的读者还喜欢

Domain-Theoretic Foundations of Functional Programming pdf epub mobi 讀後感

圖書標籤: 計算機  數學   

Domain-Theoretic Foundations of Functional Programming pdf epub mobi 用戶評價

Domain-Theoretic Foundations of Functional Programming 2024 pdf epub mobi 電子書 下載

• 
  Computational Complexity 2024 pdf epub mobi 電子書 下載
• 
  The Blackwell Guide to the Philosophy of Computing and Information 2024 pdf epub mobi 電子書 下載
• 
  大學計算機應用教程 2024 pdf epub mobi 電子書 下載
• 
  Visual FoxPro數據庫應用技術 2024 pdf epub mobi 電子書 下載
• 
  PHP and MySQL Web Development 2024 pdf epub mobi 電子書 下載
• 
  通俗數學名著譯叢（下） 2024 pdf epub mobi 電子書 下載
• 
  基礎代數學講義 2024 pdf epub mobi 電子書 下載
• 
  A First Course of Homological Algebra 2024 pdf epub mobi 電子書 下載
• 
  有限維半單李代數簡明教程 2024 pdf epub mobi 電子書 下載
• 
  P-adic Analysis Compared With Real 2024 pdf epub mobi 電子書 下載
• 
  Linear Algebraic Groups 2024 pdf epub mobi 電子書 下載
• 
  Automorphic Representations and L-Functions for the General Linear Group 2024 pdf epub mobi 電子書 下載
• 
  Representation Theory of Semisimple Groups 2024 pdf epub mobi 電子書 下載
• 
  Twenty-Four Hours of Local Cohomology 2024 pdf epub mobi 電子書 下載
• 
  Cohomological Theory of Crystals over Function Fields 2024 pdf epub mobi 電子書 下載
• 
  Chiral Algebras 2024 pdf epub mobi 電子書 下載
• 
  Coxeter Matroids 2024 pdf epub mobi 電子書 下載
• 
  Lie Groups, Lie Algebras, and Cohomology 2024 pdf epub mobi 電子書 下載
• 
  Automorphic Representations and L-Functions for the General Linear Group 2024 pdf epub mobi 電子書 下載
• 
  Proofs and Confirmations 2024 pdf epub mobi 電子書 下載