Foundations of quantum computation