Termination of rewriting in the Calculus of Constructions
From MaRDI portal
Publication:4457836
DOI10.1017/S0956796802004641zbMATH Open1062.68069MaRDI QIDQ4457836FDOQ4457836
Authors: Daria Walukiewicz-Chrząszcz 
Publication date: 17 March 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
Recommendations
- Rewriting Techniques and Applications
- Definitions by rewriting in the Calculus of Constructions
- Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- Consistency and Completeness of Rewriting in the Calculus of Constructions
Cited In (23)
- Title not available (Why is that?)
- Total termination of term rewriting
- Rewriting Techniques and Applications
- The Computability Path Ordering: The End of a Quest
- Normal higher-order termination
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- Computer Science Logic
- Exits in the refinement calculus
- Variants of the basic calculus of constructions
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules
- Computer Science Logic
- Definitions by rewriting in the Calculus of Constructions
- HORPO with Computability Closure: A Reconstruction
- Termination of dependently typed rewrite rules
- Termination of combined (rewrite and λ-calculus) systems
- Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
- A new look at generalized rewriting in type theory
- Termination of Fair Computations in Term Rewriting
- Inductive consequences in the calculus of constructions
- Higher-order superposition for dependent types
- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
- Termination of just/fair computations in term rewriting
Uses Software
This page was built for publication: Termination of rewriting in the Calculus of Constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457836)
