YoVDO

A Type-Theoretic Account of Quantum Computation

Offered By: ACM SIGPLAN via YouTube

Tags

Type Theory Courses Lenses Courses Quantum Circuits Courses Currying Courses Dependent Types Courses Coq Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Essentials
School 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