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... Google Books
Originally published: 2006
Author: Thomas Streicher
This little book is the outcome of a course I have given over the last ten years at the Technical University Darmstadt for students of Mathematics.
People also ask
What is the foundation of functional programming?
What is the domain theory in computer science?
What are the basics of functional programming?
What is functional programming vs OOP?
$18.00
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
Rating
(1) · $45.00
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It ...
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
$45.00
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
Go to Domain-theoretic Foundations of Functional Programming. December 2006. Read More. Author: Author Picture Thomas Streicher. Publisher: World Scientific ...
This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties.
DOMAIN-THEORETIC FOUNDATIONS OF FUNCTIONAL PROGRAMMING By Thomas Streicher *VG+* ; Item Number. 225876384633 ; ISBN-10. 9812701427 ; Book Title. Domain-theoretic ...