Complete and tractable machine-independent characterizations of second-order polytime.

Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Pchoux

Browse the full FOSSACS paper archive.