Inductive Types in the Calculus of Algebraic Constructions (2005)

Cached

Download Links

by Frederic Blanqui
Citations:19 - 4 self