The Curry-Howard-Lambek Correspondence

The Curry-Howard-LambekĀ Correspondence

0286822f506fc4621bd3ea0bcbfef238?s=128

Bucharest FP

January 23, 2019
Tweet