Polynomial time operations in explicit mathematics (1997)

by T Strahm
Venue:Journal of Symbolic Logic