Videos tagged logic
- Sandy Vanderbleek on Correcting A Widespread Error in Unification Algorithms Video 2018-06-21
- Niko Matsakis on Lambda Prolog - May 2018 [PWL BOS] Video 2018-05-29
- What type of thing is a type? by Ron Garcia Video 2017-10-11
- Tom Santero on Leslie Lamport's Buridan’s Principle Video 2015-12-09