Definitions by rewriting in the Calculus of Constructions (0)

by F BLANQUI
Venue:in "Mathematical Structures in Computer Science