Thérèse Hardin

Available identifiers

zbMath Open hardin.thereseMaRDI QIDQ918955

List of research outcomes

Publication	Date of Publication	Type
Strong normalization of substitutions	2022-08-18	Paper
Functional back-ends within the lambda-sigma calculus	2016-09-01	Paper
On the Implementation of Construction Functions for Non-free Concrete Data Types	2007-09-04	Paper
Theorem proving modulo	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4428296	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4484347	2003-06-12	Paper
Higher order unification via explicit substitutions	2003-01-14	Paper
HOL-λσ: an intentional first-order expression of higher-order logic	2001-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4938612	2000-04-25	Paper
Functional runtime systems within the lambda-sigma calculus	1999-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4246726	1999-07-29	Paper
Confluence properties of weak and strong calculi of explicit substitutions	1998-01-21	Paper
Strong normalization of substitutions	1997-10-26	Paper
Erratum: Eta-conversion for the languages of explicit substitutions	1995-08-02	Paper
Theoretical Pearl Yet yet a counterexample for λ+SP	1995-06-11	Paper
Eta-conversion for the languages of explicit substitutions	1994-09-27	Paper
Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL	1989-01-01	Paper
Proof of termination of the rewriting system SUBSET on CCL	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4169677	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thérèse Hardin