カリー＝ハワード対応をきちんと学ぶ
Lectures on the Curry-Howard Isomorphism
https://www.youtube.com/watch?v=q02uYIc0s6g
カリー・ハワード対応（序） - YouTube
https://www.youtube.com/watch?v=6GD_a3Gb8V8
カリー・ハワード対応（結） - YouTube
https://www.youtube.com/watch?v=qU9KH3VJq1M