Theories with self-application and computational complexity (0)

by T Strahm
Venue:Information and Computation