Olivier Hermant

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5089009	2022-07-18	Paper
First-order automated reasoning with theories: when deduction modulo theory meets practice	2020-11-02	Paper
A Semantic Proof that Reducibility Candidates entail Cut Elimination	2020-05-27	Paper
Computing invariants with transformers: experimental scalability and accuracy	2016-05-10	Paper
Normalisation by Completeness with Heyting Algebras	2016-01-12	Paper
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo	2014-01-17	Paper
Polarizing Double-Negation Translations	2014-01-17	Paper
Semantic A-translations and Super-Consistency Entail Classical Cut Elimination	2014-01-17	Paper
A simple proof that super-consistency implies cut elimination	2012-11-29	Paper
Orthogonality and Boolean Algebras for Deduction Modulo	2011-06-17	Paper
Cut elimination in the intuitionistic theory of types with axioms and rewriting cuts, constructively	2011-03-30	Paper
Resolution is cut-free	2010-05-26	Paper
Completeness and cut-elimination in the intuitionistic theory of types. II.	2010-04-21	Paper
On Constructive Cut Admissibility in Deduction Modulo	2009-03-10	Paper
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms	2008-11-20	Paper
A Semantic Completeness Proof for TaMeD	2008-05-27	Paper
A Simple Proof That Super-Consistency Implies Cut Elimination	2008-01-02	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper

This page was built for person: Olivier Hermant