{"product_id":"domain-theoretic-foundations-of-func-9789812701428","title":"Domain-Theoretic Foundations of Func...","description":"\u003cp\u003e • Author(s): Streicher Thomas\u003cbr\u003e • Publisher: World Scientific Publishing Company\u003cbr\u003e • Publisher Imprint: World Scientific Publishing Company\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eA 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eA 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.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"World Scientific Publishing Company","offers":[{"title":"Hardcover","offer_id":48225729380503,"sku":"9789812701428","price":4851.0,"currency_code":"INR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9789812701428.webp?v=1788768164","url":"https:\/\/atlanticbooks.com\/products\/domain-theoretic-foundations-of-func-9789812701428","provider":"Atlantic Books","version":"1.0","type":"link"}