Towards an embedding of Graph Transformation in Intuitionistic Linear Logic 英文论文文献.docVIP

TowardsanEmbeddingofGraphTransformationin IntuitionisticLinearLogic PaoloTorriniReikoHeckel DepartmentofComputerScience,UniversityofLeicester {pt95,reiko}@mcs.le.ac.uk Linearlogicshavebeenshowntobeabletoembedbothrewriting-basedapproachesand process calculi in a single, declarative framework. In this paper we are exploring the embeddingofdouble-pushoutgraphtransformationsintoquanti?edlinearlogic,leading toaCurry-Howardstyleisomorphismbetweengraphs/transformationsandformulas/ proofterms. Withlinearimplicationrepresentingrulesandreachabilityofgraphs,andthe tensormodellingparallelcompositionofgr