MSP 101: Simply Typed Lambda Calculus [video]

(youtube.com)

2 points | by matt_d 5 hours ago ago