Report - Linear Dependent Type Theory for Quantum Programming …linear-nonlinear adjunction in the sense of Benton [4]. 1.2 Quantum programming and dependent types The existing versions of

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form