24:03 Linear Dependent Type Theory for Quantum Programming Languages Peter Selinger 714 views - 5 years ago