Frédéric Blanqui

Available identifiers

zbMath Open blanqui.fredericMaRDI QIDQ235598

List of research outcomes

Publication	Date of Publication	Type
Sharing proofs with predicative theories through universe-polymorphic elaboration	2024-11-12	Paper
Translating proofs from an impredicative type system to a predicative one	2024-09-25	Paper
Encoding type universes without using matching modulo associativity and commutativity	2024-05-27	Paper
Some Axioms for Mathematics	2023-06-23	Paper
A modular construction of type theories	2023-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5089009	2022-07-18	Paper
Corrigendum to: ``Inductive-data-type systems	2020-04-01	Paper
Size-based termination of higher-order rewriting	2018-08-03	Paper
Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility	2015-12-15	Paper
The computability path ordering	2015-10-29	Paper
A point on fixpoints in posets	2014-12-23	Paper
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates	2011-10-21	Paper
On the confluence of lambda-calculus with conditional rewriting	2010-08-24	Paper
On the Relation between Sized-Types Based Termination and Semantic Labelling	2009-11-12	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Computability Closure: Ten Years Later	2009-03-06	Paper
Building Decision Procedures in the Calculus of Inductive Constructions	2009-03-05	Paper
The Computability Path Ordering: The End of a Quest	2008-11-20	Paper
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems	2008-05-27	Paper
Higher-Order Termination: From Kruskal to Computability	2008-05-27	Paper
HORPO with Computability Closure: A Reconstruction	2008-05-15	Paper
On the Implementation of Construction Functions for Non-free Concrete Data Types	2007-09-04	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Computer Science Logic	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4681362	2005-06-23	Paper
Definitions by rewriting in the Calculus of Constructions	2005-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4457447	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4447247	2004-02-16	Paper
Inductive-data-type systems	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2723890	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4938611	2000-09-13	Paper

Research outcomes over time

This page was built for person: Frédéric Blanqui