Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Hardin, Th{\'e}r{\`e}se"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Higher order unification via explicit substitutions
Gilles Dowek
,
Thérèse Hardin
,
Claude Kirchner
Information and Computation
157
(1-2), 2000, pp. 183-235
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
43
(2), 1996, pp. 362-397
Confluence results for the pure strong categorical logic CCL.
\lambda
-calculi as subsystems of CCL
Thérèse Hardin
Theoretical Computer Science
65
, 1989, pp. 291-342