%0 Journal Article
%A Latch, Dana May
%T The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1991
%P 203-242
%V 32
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1991__32_3_203_0/
%G en
%F CTGDC_1991__32_3_203_0