Author:
Boisvert Bertrand,Féraud Louis,Soloviev Sergei
Publisher
Open Publishing Association
Reference17 articles.
1. Typed Lambda Terms in Categorical Graph Rewriting;Sergey Baranov,2011
2. Isomorphisms of simple inductive types through extensional rewriting;David Chemouil;Math. Structures in Computer Science,2005
3. Remarks on isomorphisms of simple inductive types;David Chemouil,2003
4. LNCS,2002
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graph Attribution Through Sub-Graphs;Graph Transformation, Specifications, and Nets;2018
2. Transformation of Attributed Structures with Cloning;Fundamental Approaches to Software Engineering;2014