Definitions by Rewriting in the Calculus of Constructions.

Frdric Blanqui

Browse the full LICS paper archive.