Domain-theoretic Foundations Of Functional Programming
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. Les mer
672,-
Innbundet
Utsolgt
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.
Detaljer
- Forlag
- World Scientific Publishing Co Pte Ltd
- Innbinding
- Innbundet
- Språk
- Engelsk
- ISBN
- 9789812701428
- Utgivelsesår
- 2006