Introduction to logics as type theories for quantum processes