Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.

Yoshihiro Maruyama

Browse the full WoLLIC paper archive.