Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories.

Hugo Paquet Philip Saville

Published in: CoRR (2023)

Keyphrases

formal semantics
multi dimensional
logic programming
semantic information
conceptual graphs
data sets
information systems
object categories
intended meaning