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

Categorical semantics of logic: reflecting the logic inside the categorical language.

Here are the updated slides of the lecture.

previous part and next part