Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
2009
ICE2009
https://arxiv.org/abs/0911.5525
graph logic linear logic hypergraph
/icons/hr.icon
description
QILLの言葉で