Domain-theoretic foundations of functional programming (Record no. 72538)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02086nmm a2200349Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | 00006284 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220711214126.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181214s2006 si a ob 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9789812772596 |
| -- | (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | (hbk.) |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.13/1 |
| 100 1# - AUTHOR NAME | |
| Author | Streicher, Thomas, |
| 245 10 - TITLE STATEMENT | |
| Title | Domain-theoretic foundations of functional programming |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Singapore : |
| Publisher | World Scientific Publishing Co. Pte Ltd., |
| Year of publication | ©2006. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (132 p.) : |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "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."-- |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Semantics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Mathematics. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://www.worldscientific.com/worldscibooks/10.1142/6284#t=toc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 588 ## - | |
| -- | Title from web page (viewed December 14, 2018). |
| 520 ## - SUMMARY, ETC. | |
| -- | Publisher's website. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Programming languages (Electronic computers) |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronic books. |
No items available.