MSP 101: Simply Typed Lambda Calculus [video]

2 points | by matt_d 6 hours ago