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
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno Functional runtime systems within the lambda-sigma calculus. (English) Zbl 0918.03018 J. Funct. Program. 8, No. 2, 131-176 (1998). MSC: 03B70 68N20 68Q60 03B40 PDFBibTeX XMLCite \textit{T. Hardin} et al., J. Funct. Program. 8, No. 2, 131--176 (1998; Zbl 0918.03018) Full Text: DOI
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, Pierre-Louis; Hardin, Thérèse; Levý, Jean-Jacques Confluence properties of weak and strong calculi of explicit substitutions. (English) Zbl 0885.03014 J. ACM 43, No. 2, 362-397 (1996). MSC: 03B40 68N01 68Q42 PDFBibTeX XMLCite \textit{P.-L. Curien} et al., J. ACM 43, No. 2, 362--397 (1996; Zbl 0885.03014) Full Text: DOI Link Link
Hardin, Thérèse Erratum: Eta-conversion for the languages of explicit substitutions. (English) Zbl 0822.03012 Appl. Algebra Eng. Commun. Comput. 6, No. 4-5, 325 (1995). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{T. Hardin}, Appl. Algebra Eng. Commun. Comput. 6, No. 4--5, 325 (1995; Zbl 0822.03012) Full Text: DOI
Curien, Pierre-Louis; Hardin, Thérèse Theoretical pearl: Yet yet a counterexample for \(\lambda + SP\). (English) Zbl 0821.03006 J. Funct. Program. 4, No. 1, 113-115 (1994). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{P.-L. Curien} and \textit{T. Hardin}, J. Funct. Program. 4, No. 1, 113--115 (1994; Zbl 0821.03006) Full Text: DOI
Hardin, Thérèse Eta-conversion for the languages of explicit substitutions. (English) Zbl 0810.03010 Appl. Algebra Eng. Commun. Comput. 5, No. 6, 317-341 (1994). Reviewer: R.David (Chambéry) MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{T. Hardin}, Appl. Algebra Eng. Commun. Comput. 5, No. 6, 317--341 (1994; Zbl 0810.03010) 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
Hardin, Thérèse Eta-conversion for the languages of explicit substitutions. (English) Zbl 0925.03089 Kirchner, Helene (ed.) et al., Algebraic and logic programming. Third international conference, ALP ’92, Volterra, Italy, September 2–4, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 632, 306-321 (1992). MSC: 03B40 68Q42 68N17 PDFBibTeX XMLCite \textit{T. Hardin}, Lect. Notes Comput. Sci. 632, 306--321 (1992; Zbl 0925.03089)
Hardin, Thérèse Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL. (English) Zbl 0707.03012 Theor. Comput. Sci. 65, No. 3, 291-342 (1989). Reviewer: C.Berline MSC: 03B40 68Q42 18D15 03G30 PDFBibTeX XMLCite \textit{T. Hardin}, Theor. Comput. Sci. 65, No. 3, 291--342 (1989; Zbl 0707.03012) Full Text: DOI
Hardin, Thérèse; Laville, Alain Proof of termination of the rewriting system SUBSET on CCL. (English) Zbl 0618.68031 Theor. Comput. Sci. 46, 305-312 (1986). MSC: 68Q65 03B40 68N01 PDFBibTeX XMLCite \textit{T. Hardin} and \textit{A. Laville}, Theor. Comput. Sci. 46, 305--312 (1986; Zbl 0618.68031) Full Text: DOI