Definitions by Rewriting in the Calculus of Constructions (2001)

Cached

Download Links

by Frédéric Blanqui
Citations:36 - 6 self