Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude Higher order unification via explicit substitutions. (English) Zbl 1005.03016 Inf. Comput. 157, No. 1-2, 183-235 (2000). MSC: 03B40 03B15 03B35 68Q42 PDFBibTeX XMLCite \textit{G. Dowek} et al., Inf. Comput. 157, No. 1--2, 183--235 (2000; Zbl 1005.03016) Full Text: DOI Link
Hartonas, Chrysafis An algebraic theory of structured objects. (English) Zbl 0889.03044 Notre Dame J. Formal Logic 38, No. 1, 65-80 (1997). MSC: 03E70 03B70 68Q85 PDFBibTeX XMLCite \textit{C. Hartonas}, Notre Dame J. Formal Logic 38, No. 1, 65--80 (1997; Zbl 0889.03044) Full Text: DOI
Barthe, Gilles A simple abstract semantics for equational theories. (English) Zbl 1507.68201 Reichel, Horst (ed.), Fundamentals of computation theory. 10th international conference, FCT’95, Dresden, Germany, August 22–25, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 965, 126-135 (1995). MSC: 68Q65 03B70 03G30 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 965, 126--135 (1995; Zbl 1507.68201) Full Text: DOI