"A Definition of the P=NP-Problem in Categories."

Hagen Huwig (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics