Propositions as Types - Computerphile
Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory
Thanks to Lily the dog!
...
4 months ago 00:08:25 1
4 months ago 00:01:01 1
4 months ago 00:07:17 1
4 months ago 00:08:04 1
4 months ago 01:36:43 1
4 months ago 00:15:24 1
4 months ago 00:32:49 1
4 months ago 00:14:54 1
4 months ago 00:01:35 1
4 months ago 00:15:39 1
4 months ago 00:10:11 1
4 months ago 00:22:46 1
4 months ago 00:12:45 2
4 months ago 00:04:47 1
4 months ago 00:52:19 1
5 months ago 00:11:35 1
5 months ago 00:05:36 1
5 months ago 00:00:35 1
5 months ago 00:15:10 1
5 months ago 00:17:44 1
4 months ago 00:10:34 1
5 months ago 01:20:42 1
5 months ago 01:30:07 1
5 months ago 00:19:22 1
