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!