Domain Theory, Logic and Computation

• Hardcover | Engels | Semantics Structures in Computation | nr. 3
• Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natu... Lees meer

Domains and Processes

• Hardcover | Engels | Semantics Structures in Computation | nr. 1
• Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers p... Lees meer

Call-By-Push-Value

P B Levy

• Hardcover | Engels | Semantics Structures in Computation | nr. 2
• Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primiti... Lees meer