Consistency and Completeness of Rewriting in the Calculus of Constructions

DOI10.1007/11814771_50zbMath1222.68376arXiv0806.1749OpenAlexW1542173269MaRDI QIDQ5901480

Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0806.1749

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

Uses Software

• Coq

This page was built for publication: Consistency and Completeness of Rewriting in the Calculus of Constructions