The Calculus of Algebraic Constructions (1999)

by F Blanqui, J-P Jouannaud, M Okada
Venue:In Proc. of the 10th Int. Conf. on Rewriting Techniques and Applications, LNCS 1631