Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems.  Meer

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology.  Meer

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages.  Meer

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology.  Meer