Termination of rewriting in the Calculus of Constructions
From MaRDI portal
Publication:4457836
DOI10.1017/S0956796802004641zbMath1062.68069MaRDI QIDQ4457836
Publication date: 17 March 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (6)
Variants of the basic calculus of constructions ⋮ Normal Higher-Order Termination ⋮ HORPO with Computability Closure: A Reconstruction ⋮ The Computability Path Ordering: The End of a Quest ⋮ Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules ⋮ Unnamed Item
Uses Software
This page was built for publication: Termination of rewriting in the Calculus of Constructions
