24:13
B5.F — Linear Dependent Type Theory for Quantum Programming Languages
Saarland Informatics Campus
404 views
View & Download🔍 YouTube Search Results for "b5f linear dependent type theory for quantum programming languages"
Found 17 results
25:05
2:37:00
29:53
48:37
25:49
(QNLP20) Michael Moortgat: A dependency-enhanced type logic
Cambridge Quantum
118 views
View & Download
19:05
48:27
2:06
Verlet Integration: Simulating Physics in 10 Lines of Code
Dr. Georg Hackenberg
5 views
View & Download
20:42
50:06
8:49
55:56
Univalence from a computer science point-of-view - Dan Licata
Institute for Advanced Study
4.8K views
View & Download
12:31
25:18
Time-Dependent Schrodinger Equation in Python: Two Different Techniques
Mr. P Solver
47.7K views
View & Download
12:23
30:15