Wednesday 7 December 2016, 16:30, LSV: Lecture on Categorical Semantics of Logic Programming Languages (part 6), Jim Lipton (Wesleyan University).
Categorical semantics of a first-order constraint programming language
Here are the updated first set of slides presented during the lecture. The second set is also available
previous part and this is the last lecture!