Domain-theoretic Foundations Of Functional Programming

Explore the intricate world of functional programming with Domain-theoretic Foundations Of Functional Programming by Thomas Streicher. Published by World Scientific Publishing Co Pte Ltd in 2006, this insightful hardback spans 132 pages and serves as a comprehensive resource for advanced studies in domain-theoretic semantics.

This essential text lays the groundwork for a PhD course, delving into the foundational concepts of domain theory and the logical relations technique pioneered by renowned scholars Scott and Plotkin. Additionally, it addresses the critical topic of computability within Scott domains, making it a vital reference for both students and professionals in the field of computer programming.

Whether you are a researcher, educator, or an enthusiast of programming languages, this book will enrich your understanding of the theoretical underpinnings that shape functional programming.