Towards an embedding of Graph Transformation in Intuitionistic Linear Logic - きゃ's scrap box

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

2009

https://arxiv.org/abs/0911.5525

graph logic linear logic hypergraph

/icons/hr.icon

description

QILLの言葉で