Introduction to Linear Dependent Type Theory For Quantum Programming Languages
Let's dive into the details surrounding Linear Dependent Type Theory For Quantum Programming Languages. Frank Fu, Kohei Kishida, and Peter Selinger. Talk given at the 35th Annual ACM/IEEE Symposium on Logic in
Linear Dependent Type Theory For Quantum Programming Languages Comprehensive Overview
Scheduled talk Modern Dependent types ... and
Linear Types
Summary & Highlights for Linear Dependent Type Theory For Quantum Programming Languages
- This video is part of the symposium series on Seminar in Advances in Computing - Fall 2023, CSCE University of South Carolina.
- From my 2021 lectures at the Midland graduate School (MGS). https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html See ...
- Presenter: Peter Selinger Presented at PLanQC 2020, located at POPL 2020.
- Really good
- With Aditya "Deech" Siram! This talk will explore why ATS, a
That wraps up our extensive overview of Linear Dependent Type Theory For Quantum Programming Languages.