From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality
2023
https://arxiv.org/abs/2303.15788
hyper lambek calculus lambek calculus hypergraph DPO
/icons/hr.icon
description
hyper lambek calculus と，一般的なグラフ変換にあたるDPOで整理したという話．