Termination of rewrite relations on λ-terms based on Girard's notion of reducibility von Blanqui, Frédéric

Volltext

Sharing proofs with predicative theories through universe-polymorphic elaboration von Felicissimo, Thiago, Blanqui, Frédéric

Volltext

A modular construction of type theories von Blanqui, Frédéric, Dowek, Gilles, Grienenberger, Emilie, Hondet, Gabriel, Thiré, François

Volltext

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) von El Haddad, Mohamed Yacine, Burel, Guillaume, Blanqui, Frédéric

Volltext

The computability path ordering von Blanqui, Frédéric, Jouannaud, Jean-Pierre, Rubio, Albert

Volltext

Size-based termination of higher-order rewriting von BLANQUI, FRÉDÉRIC

Volltext

On the confluence of lambda-calculus with conditional rewriting von Blanqui, Frédéric, Kirchner, Claude, Riba, Colin

Volltext

Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems von KUSAKARI, Keiichirou, ISOGAI, Yasuo, SAKAI, Masahiko, BLANQUI, Frédéric

Volltext

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68] von Blanqui, Frédéric, Jouannaud, Jean-Pierre, Okada, Mitsuhiro

Volltext

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates von BLANQUI, FRÉDÉRIC, KOPROWSKI, ADAM

Volltext

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice: Preface von Blanqui, Frédéric, Reis, Giselle

Volltext

On the Relation between Sized-Types Based Termination and Semantic Labelling von Blanqui, Frédéric, Roux, Cody

Volltext

Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems von BLANQUI, Frederic, RIBA, Colin

Volltext

Argument Filterings and Usable Rules in Higher-order Rewrite Systems von Suzuki, Sho, Kusakari, Keiichirou, Blanqui, Frédéric

Volltext

Definitions by rewriting in the Calculus of Constructions von BLANQUI, FRÉDÉRIC

Volltext

Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations von Blanqui, Frédéric

Volltext

On the Implementation of Construction Functions for Non-free Concrete Data Types von Blanqui, Frédéric, Hardin, Thérèse, Weis, Pierre

Volltext

Sharing proofs with predicative theories through universe-polymorphic elaboration von Felicissimo, Thiago, Blanqui, Frédéric

Volltext

Type safety of rewrite rules in dependent types von Blanqui, Frédéric

Volltext

A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems von Blanqui, Frédéric

Volltext