Speaker Deck
Sign in
Sign up
for free
The Curry-Howard-Lambek Correspondence
Bucharest FP
January 23, 2019
Programming
1
11
The Curry-Howard-LambekĀ Correspondence
Bucharest FP
January 23, 2019
Tweet
Share
Want more?
Oct 1, 2018
0
450
Aug 20, 2018
0
21
Jul 5, 2018
0
110
Oct 7, 2018
133
6.1k
Nov 13, 2018
105
3.2k
Jul 20, 2018
352
22k
Jun 14, 2018
178
7.2k
Jun 19, 2018
300
16k
Jun 18, 2018
222
7.8k
Jun 7, 2018
451
27k
Jun 8, 2018
197
7.7k
Jun 6, 2018
157
5.9k