×

zbMATH — the first resource for mathematics

Hardin, Thérèse

Compute Distance To:
Author ID: hardin.therese Recent zbMATH articles by "Hardin, Thérèse"
Published as: Hardin, T.; Hardin, Thérèse
Documents Indexed: 20 Publications since 1978

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 156 times in 107 Documents Cited by Year
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
47
2003
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
21
2000
Confluence properties of weak and strong calculi of explicit substitutions. Zbl 0885.03014
Curien, Pierre-Louis; Hardin, Thérèse; Levý, Jean-Jacques
16
1996
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
15
2001
Functional runtime systems within the lambda-sigma calculus. Zbl 0918.03018
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
14
1998
Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL. Zbl 0707.03012
Hardin, Thérèse
12
1989
Proof of termination of the rewriting system SUBSET on CCL. Zbl 0618.68031
Hardin, Thérèse; Laville, Alain
10
1986
Functional back-ends within the lambda-sigma calculus. Zbl 1345.68056
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
5
1996
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
On the way to certify computer algebra systems. Zbl 0958.68197
Boulmé, S.; Hardin, T.; Hirschkoff, D.; Ménissier-Morain, V.; Rioboo, R.
3
1999
Strong normalization of substitutions. Zbl 0873.03016
Curien, P.-L.; Hardin, T.; Ríos, A.
3
1996
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
Eta-conversion for the languages of explicit substitutions. Zbl 0925.03089
Hardin, Thérèse
2
1992
On the implementation of construction functions for non-free concrete data types. Zbl 1187.68147
Blanqui, Frédéric; Hardin, Thérèse; Weis, Pierre
1
2007
Theoretical pearl: Yet yet a counterexample for \(\lambda + SP\). Zbl 0821.03006
Curien, Pierre-Louis; Hardin, Thérèse
1
1994
Eta-conversion for the languages of explicit substitutions. Zbl 0810.03010
Hardin, Thérèse
1
1994
On the implementation of construction functions for non-free concrete data types. Zbl 1187.68147
Blanqui, Frédéric; Hardin, Thérèse; Weis, Pierre
1
2007
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
47
2003
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
15
2001
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
21
2000
On the way to certify computer algebra systems. Zbl 0958.68197
Boulmé, S.; Hardin, T.; Hirschkoff, D.; Ménissier-Morain, V.; Rioboo, R.
3
1999
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
Functional runtime systems within the lambda-sigma calculus. Zbl 0918.03018
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
14
1998
Confluence properties of weak and strong calculi of explicit substitutions. Zbl 0885.03014
Curien, Pierre-Louis; Hardin, Thérèse; Levý, Jean-Jacques
16
1996
Functional back-ends within the lambda-sigma calculus. Zbl 1345.68056
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
5
1996
Strong normalization of substitutions. Zbl 0873.03016
Curien, P.-L.; Hardin, T.; Ríos, A.
3
1996
Theoretical pearl: Yet yet a counterexample for \(\lambda + SP\). Zbl 0821.03006
Curien, Pierre-Louis; Hardin, Thérèse
1
1994
Eta-conversion for the languages of explicit substitutions. Zbl 0810.03010
Hardin, Thérèse
1
1994
Eta-conversion for the languages of explicit substitutions. Zbl 0925.03089
Hardin, Thérèse
2
1992
Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL. Zbl 0707.03012
Hardin, Thérèse
12
1989
Proof of termination of the rewriting system SUBSET on CCL. Zbl 0618.68031
Hardin, Thérèse; Laville, Alain
10
1986
all top 5

Cited by 138 Authors

8 Dowek, Gilles
8 Kirchner, Claude
6 Ayala-Rincón, Mauricio
6 Curien, Pierre-Louis
5 Cavalcanti de Moura, Flávio Leonardo
5 Kamareddine, Fairouz D.
4 Burel, Guillaume
4 Danvy, Olivier
4 Hardin, Thérèse
4 Hermant, Olivier
3 Blanqui, Frédéric
3 Delahaye, David
3 Fernández, Maribel
3 Gabbay, Murdoch James
3 Houtmann, Clément
3 Jiang, Ying
3 Kirchner, Hélène
3 Lescanne, Pierre
3 Meseguer Guaita, José
3 Nadathur, Gopalan
2 Biernacka, Małgorzata
2 Bury, Guillaume
2 Halmagrand, Pierre
2 Kesner, Delia
2 Lang, Frédéric
2 Miller, Dale Allen
2 Muñoz, César A.
2 Nahon, Fabrice
2 Pitts, Andrew M.
2 Platzer, André
2 Popescu, Andrei
2 Ritter, Eike
2 Rocha-Oliveira, Ana Cristina
2 Roşu, Grigore
2 Urban, Christian
1 Abadi, Martín
1 Ager, Mads Sig
1 Aiguier, Marc
1 Asperti, Andrea
1 Bellegarde, Françoise
1 Benaissa, Zine-el-Abidine
1 Bendkowski, Maciej
1 Bloo, Roel
1 Bonelli, Eduardo
1 Borovanský, Peter
1 Boy de la Tour, Thierry
1 Brady, Edwin C.
1 Brauner, Paul
1 Briaud, Daniel
1 Brunel, Aloïs
1 Bruni, Roberto
1 Cardelli, Luca
1 Cauderlier, Raphaël
1 Charatonik, Witold
1 Chihani, Zakaria
1 Cirstea, Horatiu
1 Crégut, Pierre
1 de Paiva, Valeria
1 Dershowitz, Nachum
1 Di Cosmo, Roberto
1 Douence, Rémi
1 Falke, Stephan
1 Faure, Germain
1 Fradet, Pascal
1 Fridlender, Daniel
1 Ganzinger, Harald
1 Gao, Jianhua
1 García-Pérez, Álvaro
1 Gauthier, Thibault
1 Geuvers, Jan Herman
1 Gottliebsen, Hanne
1 Grall, Hervé
1 Hashimoto, Masatomo
1 Hetzl, Stefan
1 Honsell, Furio
1 Ji, Kailiang
1 Johannsen, Jacob
1 Jouannaud, Jean-Pierre
1 Kaliszyk, Cezary
1 Kapur, Deepak
1 Kelsey, Tom
1 Kirchner, Florent
1 Komendantsky, Vladimir
1 Konovalov, Alexander B.
1 Koprowski, Adam
1 Leitsch, Alexander
1 Lengrand, Stéphane Jean Eric
1 Lenisa, Marina
1 Leroy, Xavier
1 Levy, Jean-Jacques
1 Levy, Jordi
1 Liang, Chuck
1 Linton, Steve A.
1 Liquori, Luigi
1 Longuet, Delphine
1 Mackie, Ian
1 Mano, Karuppiah
1 Martí-Oliet, Narciso
1 Martin, Ursula
1 Mathijssen, Aad
...and 38 more Authors

Citations by Year