A Logical Calculus for Polynomial-time Realizability (1991)

by J.N. Crossley, G.L. Mathai, R.A.G. Seely
Venue:Journal of Methods of Logic in Computer Science