1
Published 2003
Springer Netherlands
... of computer science, and for applications in mathematics. Included in this proceedings volume are selected...

2
Published 2001
Springer Netherlands
...Domain theory is a rich interdisciplinary area at the intersection of logic, computer science...