Concepedia

Thérèse Hardin

TH

13

Publications

862

Citations

13

H-Index

1986

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Sorbonne Université

Centre Inria de l'Université de Lorraine

École Normale Supérieure - PSL

Thérèse Hardin is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and automated reasoning.

Top concepts

Publications per year

1986–2009

13

Publications

13

Theorem Proving Modulo

Gilles Dowek, Thérèse Hardin, Claude Kirchner · Journal of Automated Reasoning · 2003 · 212 citations

, , +1

Confluence properties of weak and strong calculi of explicit substitutions

Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy · Journal of the ACM · 1996 · 149 citations · Full text

, , +7

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner · Information and Computation · 2000 · 79 citations

, , +5

Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

Gilles Dowek, Thérèse Hardin, Claude Kirchner et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1996 · 69 citations · Full text

Functional runtime systems within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano · Journal of Functional Programming · 1998 · 63 citations · Full text

, , +16

Rows per page

1–5 of 13