A constructive algebraic hierarchy in Coq (0)

by H Geuvers, R Pollack, F Wiedijk, J Zwanenburg
Venue:Journal of Symbolic Computation