The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)

Latch, Dana May

Latch, Dana May

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 32 (1991) no. 3, p. 203-242

MR 1158109 | Zbl 0768.68084

@article{CTGDC_1991__32_3_203_0,
     author = {Latch, Dana May},
     title = {The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {32},
     number = {3},
     year = {1991},
     pages = {203-242},
     zbl = {0768.68084},
     mrnumber = {1158109},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1991__32_3_203_0}
}

Latch, Dana May. The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract). Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 32 (1991) no. 3, pp. 203-242. http://www.numdam.org/item/CTGDC_1991__32_3_203_0/

References

Baa89 Baader, F., Unification properties of commutative theories: A categorical approach, Proceedings of Category Theory and Computer Science, Manchester, UK, September 1989, LNCS 389, Springer Verlag, New York, 1989, 273-299. | MR 1031568

BaDe87 Backmair, L. & Dershowitz, N., Completion for rewriting modulo a congruence, Proceedings of Rewriting Techniques and Applications, Bordeaux, France, May 1987, LNCS 256, Springer Verlag, New York, 1987, 192-203. | MR 903672 | Zbl 0659.68114

Ba78 Backus, J., Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM, 21(1978) 613-641. | MR 520392 | Zbl 0383.68013

Be75Benson, D., The basic algebraic structures in categories of derivations, Infor. and Contr., 28(1975) 1-29. | MR 412248 | Zbl 0304.68083

BiWa88 Bird, R. & Walder, P., Introduction to Functional Programming, Prentice Hall, New York, 1988.

BHS89Bürkert, H.-J., Herold, A. & Schnidt-Schauss, M. On equational theories, unification and (un)decidability, J. Symbolic Computation, 8(1989) 3-49. | MR 1014192 | Zbl 0684.03004

BuRy86 Burstall, R. & Rydeheard, D., The unification of terms: A category-theoretic algorithm, Proceedings of Category Theory and Computer Programming, Guildford, UK, Sept. 1985, LNCS 240, Springer Verlag, New York, 1986, 493-505. | MR 875705 | Zbl 0616.68016

Co65 Cohn, P., Universal Algebra, Harper & Row, New York, 1965. | MR 175948 | Zbl 0141.01002

DaWe83 Davis, M. & Weuyker, E., Computability, Complexity and Languages, Academic Press, New York, 1983. | MR 741026 | Zbl 0569.68042

D2Qu78 Denning, P., Dennis, J. & Qualitz, J., Machines, Languages and Computation, Prentice-Hall, Englewood Cliffs, NJ, 1978. | Zbl 0492.68003

Ei87 Eisenbach, S., Functional Programming: Languages, Tools and Architectures, John Wiley & Sons, New York, 1987.

Fa84 Fages, F., Associative-commutative unification, Proceedings of the 7th C.A.D.E., LNCS 170, Springer Verlag, New York, 1984, 194-208. | MR 778048 | Zbl 0547.03012

Fr79 Frank, G., Virtual Memory Systems for Closed Applicative Language Interpreters, PhD Dissertation, University of North Carolina at Chapel Hill, 1979.

FLPS82 Frank, G., Latch, D., Petro, J. & Stanat, D., Applications of algebraic topology of small categories to the semantics of formal functional programming languages, UNC-CH Technical Report in Computer Science #82-009, Chapel Hill, NC, 1982.

FriLa81 Fritsch, R. & Latch, D., Homotopy inverses for nerve, Math. Z., 177(1981) 147-179. | MR 612870 | Zbl 0456.55014

GaZi67 Gabriel, P. & Zisman, M., Calculus of Fractions and Homotopy Theory, Springer Verlag, New York, 1967. | MR 210125 | Zbl 0186.56802

Gi66 Ginsburg, S., Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966. | MR 211815 | Zbl 0184.28401

Ha78 Harrison, M., Introduction to Formal Language Theory Addison-Wesley, Reading, MA, 1978. | MR 526397 | Zbl 0411.68058

HaW385 Halpern, J., Williams, J., Wimmers, E., & Winkler, T., Denotational semantics and rewrite rules for FP, Proceedings of the Twelfth ACM Symposium of Principles of Programming Languages, January 1985, 108-120.

HoU179 Hopcroft, J. & Ullman, J., Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA, 1979. | MR 645539 | Zbl 0426.68001

Hu89 Hudak, P., The conception, evolution and application of functional programming languages, to appear in ACM Computing Surveys.

Hue75Huet, G., A unification algorithm for the typed λ-calculus, Theor. Comp. Sci., 1(1975) 25-57. | Zbl 0332.02035

Hue80Huet, G., Confluent reductions: abstract properties and applications to term rewriting systems, J. of Assoc. Comp. Mach., 27(1980) 797-821. | MR 594700 | Zbl 0458.68007

Kn89 Knight, K., Unification: A multidisciplinary survey, ACM Computing Surveys, 21(1989) 93-124. | MR 1072798 | Zbl 0677.68098

KnBe70 Knuth, D. & Bendix, P., Simple word problems in universal algebras, Computational Problems in Abstract Algebra, Leech J., ed., Pergamon Press, 1970, 263-297. | MR 255472 | Zbl 0188.04902

LaSc86 Lambek, J. & Scott, P., Introduction to Higher Order Categorical Logic, Cambridge University Press, London, 1986. | MR 856915 | Zbl 0596.03002

La73Latch, D., On derived functors of limit, Trans. of Amer. Math. Soc., 181(1973) 155-163. | MR 323866 | Zbl 0272.18007

La75Latch, D., The uniqueness of homology for the category of small categories, J. of Pure and Applied Algebra, 9(1975) 221-237. | MR 460421 | Zbl 0363.18008

La79Latch, D., A fibred homotopy equivalence and homology theories for the category of small categories, J. of Pure and Applied Algebra, 15(1979) 247-269. | MR 537499 | Zbl 0407.55006

La89aLatch, D., Finite generation of ambiguity in context free languages, J. of Pure and Applied Algebra, 57(1989) 229-263. | MR 987314 | Zbl 0666.20030

La89b Latch, D., An application of minimal context-free intersection partitions to rewrite rule consistency checking, Proceedings of the AMS-IMS-SIAM Conference on Categories in Computer Science and Logic, Boulder CO, 1987, AMS Contemporary Mathematics, 92(1989) 241 -260. | MR 1003202 | Zbl 0685.68067

LaMi74Latch, D. & Mitchell, B., On the difference between homological and cohomological dimensions, J. of Pure and Applied Algebra, 5(1974) 333-343. | MR 360755 | Zbl 0295.18003

LaSi88 Latch, D. & Sigal, R., Generating evaluation theorems for functional programming languages, Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Torino, Italy, October 1988, 47-58.

LSR90 Latch, D., Sigal, R. & Ruggeri, R., Generating nondeterministic evaluation theorems for functional languages, to appear in Proceedings of the Fourth Workshop on Computer Science Logic, Heidelberg, FRG, October 1990.

LTW79Latch, D., Thomason, R. & Wilson, S., Simplicial sets from categories, Math. Z., 164(1979) 195-214. | MR 516607 | Zbl 0408.55019

LePa81 Lewis, H. & Papadimitriou, K., Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, NJ., 1981. | Zbl 0464.68001

Mac71 Mac Lane, S., Categories for the Working Mathematician, Springer Verlag, New York, 1971. | MR 354798 | Zbl 0232.18001

Mi57Milnor, J., The geometric realization of a semi-simplicial complex, Ann. Math., 65(1957), 357-362. | MR 84138 | Zbl 0078.36602

Ne80Nelson, E., Categorical and topological aspects of formal languages, Math. System Theory 13(1980) 255-273. | MR 572498 | Zbl 0471.68053

Ro65Robinson, J., A machine-oriented logic based on the resolution principle, J. of Assoc. for Comp. Mach., 12(1965) 23-41. | MR 170494 | Zbl 0139.12303

Rot88 Rotman, J., An Introduction to Algebraic Topology, Springer Verlag, New York, 1988. | MR 957919 | Zbl 0661.55001

Ru87Rust, T., An algebraic model for programming languages, Computer Languages 12(1987) 173-195. | Zbl 0629.68004

RySt87 Rydeheard, D.E. & Stell, J.C., Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms, Proceedings of Category Theory and Computer Science, Edinburgh, UK, September 1987, LNCS 389, Springer Verlag, New York, 1987, 114-139. | MR 925227 | Zbl 0664.03041

ShSt87 Sterling, E. & Shapiro, R., The Art of PROLOG, MIT Press, Cambridge, MA, 1987. | Zbl 0605.68002

Si84 Siekmann, J., Universal unification, Proceedings of the 7th C.A.D.E., LNCS 170, Springer Verlag, New York, 1984, 1-42. | MR 778038 | Zbl 0547.03011

Si89 Siekmann, J., Unification theory, J. Symbolic Computation, 7(1989) 207-274. | MR 993666 | Zbl 0678.68098