Tutorial 5.1: Tomer Ullman - Church Programming Language Part 1

From a channel Lumen includes in full: MIT's official OpenCourseWare channel: full recorded MIT courses (lectures, recitations and problem sessions) across maths, physics, CS, economics and engineering, taught by MIT faculty such as Gilbert Strang and Walter Lewin.

A 53-minute video from MIT OpenCourseWare's catalogue; the title names its topic.

Video by MIT OpenCourseWare, played through YouTube's embedded player.