Categorical Characterization of Ptime I (1991)

by J Otto