A Type-Theoretic Account of Quantum Computation
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a type-theoretic approach to quantum computation in this 28-minute conference talk from ACM SIGPLAN's TyDe'23. Delve into the presentation by Takafumi Saikawa and Jacques Garrigue as they use type-theoretic concepts to describe and prove properties of quantum computations, with a focus on quantum circuits. Discover how the speakers combine several components represented using dependent and polymorphic types in Coq, including lenses, finite functions, currying, polymorphism, and subtypes. Gain insights into their comprehensive account of pure quantum circuits and learn about the process of proving properties from the ground up in this extended abstract presentation.
Syllabus
[TyDe'23] A type-theoretic account of quantum computation (Extended Abstract)
Taught by
ACM SIGPLAN
Related Courses
Camera EssentialsSchool of Visual Arts via Kadenze Basics of Photography
Devi Ahilya Viswavidyalaya, Indore via Swayam THE Photography Masterclass: Complete Course on Photography
Udemy Film Yapım ve Yönetmenlik
Udemy A Guide to Accessories for DSLRs
Udemy