@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}, pages = {203--242}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {32}, number = {3}, year = {1991}, mrnumber = {1158109}, zbl = {0768.68084}, language = {en}, url = {http://www.numdam.org/item/CTGDC_1991__32_3_203_0/} }