Inductive Consequences in the Calculus of Constructions

DOI10.1007/978-3-642-14052-5_31zbMath1291.68374OpenAlexW1482017316MaRDI QIDQ5747669

Jacek Chrząszcz, Daria Walukiewicz-Chrząszcz

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_31

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• Coq

This page was built for publication: Inductive Consequences in the Calculus of Constructions