Wednesday 2 November 2016, 16:30, LSV: Lecture on Categorical Semantics of Logic Programming Languages (part 2), Jim Lipton (Wesleyan University).
The second part of the lecture will be dedicated to adjunctions, indexed categories, fibrations, and introduce first-order logic programming.