Inductive Types in the Calculus of Algebraic Constructions (2005)

Cached

Download Links

by Frederic Blanqui
Citations:15 - 4 self