Streicher, Thomas,  1958- <br/><br/>
Domain-theoretic foundations of functional programming  [electronic resource] / 
Thomas Streicher. 
 - Singapore :  World Scientific Publishing Co. Pte Ltd.,  ©2006. 
 - 1 online resource (132 p.) :  ill. 
<br/><br/>Includes bibliographical references (p. 117-118) and index. 
<br/><br/> "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."-- 
<br/><br/><br/>System requirements: Adobe Acrobat Reader. <br/>Mode of access: World Wide Web. 
<br/><br/><label>ISBN: </label>9789812772596 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics.<br/>Computer science--Mathematics.<br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.7  / .S818 2006 
<br/><br/><label>Dewey Class. No.: </label>005.13/1