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 This video is part of the symposium series on Seminar in Advances in Computing - Fall 2023, CSCE University of South Carolina.
... computer
Summary & Highlights for Linear Dependent Type Theory For Quantum Programming Languages
- Presenter: Peter Selinger Presented at PLanQC 2020, located at POPL 2020.
- ... and
- From my 2021 lectures at the Midland graduate School (MGS). https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html See ...
- With Aditya "Deech" Siram! This talk will explore why ATS, a
- Linear Types
That wraps up our extensive overview of Linear Dependent Type Theory For Quantum Programming Languages.