The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language you can dream of. In this video, we'll first explore this calculus before seeing how we can flesh it out into a functional programming language. After a brief tour of a simple type
62:15
41:40
26:46
32:32
35:32
28:28
87:53
34:26
22:06
25:50
10:53
16:24
54:17
132:15
35:11
19:24
147:34
60:24
9:11
12:40