24:03
Linear Dependent Type Theory for Quantum Programming Languages
Peter Selinger
700 views
View & Download🔍 YouTube Search Results for "linear dependent type theory for quantum programming languages"
Found 17 results
25:05
38:36
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
45.7K views
View & Download
1:02:22
29:53
6:36
6:38
48:37
59:01
Introductory Lectures on Type Theory (4 : Coinductive types, Dependent types)
Thorsten Altenkirch
1.4K views
View & Download
20:42
1:26:25
2:37:00
56:50
1:32:03
48:35
42:59
43:33
A Compositional Quantum Programming Language
Simons Institute for the Theory of Computing
800 views
View & Download