Type Theory and Rewriting (2001)

by F Blanqui