Categorical tools for natural language processing by de Felice, G

“…This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. …”

!-Logic by Quick, D

“…-graph formalism to remove the restriction of commutativity and replace the notion of equational reasoning with a natural deduction system based on first order logic.…”