Numbers and Functions in the Untyped λ-Calculus — II (1.3.2):
18:41
The Simply Typed Lambda Calculus (2.1)
15:13
Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)
13:07
The most intriguing discovery of Computer Science: the Y combinator demystified.
2:02:22
Mozart - Música Clásica para Estimular el Cerebro
9:36
‘Why in God’s name should Trump get a thank you?’: Fmr. Russia ambassador shreds Vance over Ukraine
28:50
Propositions as Types (7)
1:34:06
Whiskey Blues Music -BEST OLD SCHOOL BLUES MUSIC ALL TIME - Beautiful Relaxing Blues Songs [ Album ]
15:47