Wednesday 16 November 2016, 16:30, LSV: Lecture on Categorical Semantics of Logic Programming Languages (part 3), Jim Lipton (Wesleyan University).

Adjunctions, Monads, Logic (part 1). Here are the first set and second set of slides.

previous part and next part