Pages that link to "Item:Q4457836"
From MaRDI portal
The following pages link to Termination of rewriting in the Calculus of Constructions (Q4457836):
Displaying 6 items.
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Normal Higher-Order Termination (Q2946769) (← links)
- HORPO with Computability Closure: A Reconstruction (Q3498461) (← links)
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- (Q5089012) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)
