Formalizing Monoidal Categories and Actions for Syntax with Binders.

Benedikt Ahrens Ralph Matthes Kobe Wullaert

Published in: CoRR (2023)

Keyphrases

databases
high level
plan recognition
decision theoretic
learning algorithm
case study
database systems
natural language
data model
human actions
reasoning about actions
equational theories