Frédéric Blanqui

Available identifiers

zbMath Open blanqui.fredericMaRDI QIDQ235598

List of research outcomes

Publication	Date of Publication	Type
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
Higher-Order Termination: From Kruskal to Computability	2008-05-27	Paper
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems	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

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: Frédéric Blanqui