Bogdan Gapinski Semantics: Modal Logics / Applicative Categorical Grammars Presentation based on the book “Type-Logical Semantics” by Bob Carpenter.
