Curien, P.-L.; Hardin, T.; Ríos, A. Strong normalization of substitutions. (English) Zbl 0873.03016 J. Log. Comput. 6, No. 6, 799-817 (1996). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{P. L. Curien} et al., J. Log. Comput. 6, No. 6, 799--817 (1996; Zbl 0873.03016) Full Text: DOI
Curien, P.-L.; Hardin, T.; Ríos, A. Strong normalization of substitutions. (English) Zbl 1496.03059 Havel, Ivan M. (ed.) et al., Mathematical foundations of computer science 1992. 17th international symposium, Prague, Czechoslovakia, August 24–28, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 629, 209-217 (1992). MSC: 03B40 PDFBibTeX XMLCite \textit{P. L. Curien} et al., Lect. Notes Comput. Sci. 629, 209--217 (1992; Zbl 1496.03059) Full Text: DOI
Curien, Pierre-Louis; Ríos, Alejandro Un résultat de complétude pour les substitutions explicites. (A completeness result for explicit substitutions). (French) Zbl 0717.68053 C. R. Acad. Sci., Paris, Sér. I 312, No. 6, 471-476 (1991). MSC: 68W30 03B40 PDFBibTeX XMLCite \textit{P.-L. Curien} and \textit{A. Ríos}, C. R. Acad. Sci., Paris, Sér. I 312, No. 6, 471--476 (1991; Zbl 0717.68053)