Third-order computation and bounded arithmetic (2006)

by Alan Skelley
Venue:University of Wales Swansea