Type-logical semantics | lit.salon