Higher-Dimensional Word Problems with Applications to Equational Logic
暂无分享,去创建一个
[1] A. Burroni. Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles , 1986 .
[2] Y. Lafont. Applications of Categories in Computer Science: Penrose diagrams and 2-dimensional rewriting , 1992 .
[3] Albert Burroni. Higher Dimensional Word Problem , 1991, Category Theory and Computer Science.
[4] Charles Ehresmann,et al. Cahiers de topologie et géometrie différentielle , 1982 .
[5] Pierre-Louis Curien. Substitution up to Isomorphism , 1993, Fundam. Informaticae.
[6] F. W. Lawvere,et al. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.
[7] Dominique Bourn,et al. Natural anadeses and catadeses , 1973 .
[8] A. Burroni. Algèbres graphiques (sur un concept de dimension dans les langages formels) , 1981 .
[9] H. Coxeter,et al. Generators and relations for discrete groups , 1957 .
[10] Ross Street,et al. The algebra of oriented simplexes , 1987 .