Consistency and Completeness of Rewriting in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

Browse the full CADE paper archive.