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..
Price: $25.00
[Notify me when price goes down.]
Dual English/German. Translated from TWO rare Third Reich picture books: "Juden stellen sich vor" and "Ohne Loesung der Judenfrage keine Erloesung des deutschen Volkes". SC. 47pp..
Price: $10.00
[Notify me when price goes down.]
Translated from the rare Third Reich original "Der Pudelmopsdackelpinscher" with original illustrations by Willi Hofman. Anti-Semitic indoctrination of children through comparisons of Jewish people with animals. Extra radical even by Third Reich standards. SC. 63pp..
Price: $10.00
[Notify me when price goes down.]