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

Categorical semantics of logic.

previous part and next part