Definitions by rewriting in the Calculus of Constructions (2005)

by F Blanqui
Venue:Mathematical Structures in Computer Science