Domain-theoretic foundations of functional programming
Auteur :
Streicher, Thomas
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812701428
Date de publication :
5 déc. 2006
Langue :
Anglais
Pays d'origine :
Singapour
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.