Filteren
1
Sorteren
6 resultaten
Serie: Semantics structures in computation
gebondenEngels9780792371434
31-10-2001
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Meer
gebondenEngels9781402017308
30-11-2003
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. Meer
gebondenEngels9781402018329
31-1-2004
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. Meer
paperbackEngels9789401037525
27-9-2012
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. Meer
paperbackEngels9789048165230
25-12-2010
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. Meer
paperbackEngels9789401038591
17-9-2012
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Meer