Polynomial time operations in explicit mathematics (1997)

by Thomas Strahm
Venue:Journal of Symbolic Logic