Definitions by Rewriting in the Calculus of Constructions (2001)

Cached

Download Links

by Frédéric Blanqui
Citations:50 - 7 self