A logical calculus for polynomial-time realizability (1994)

by John Crossley, Gerald Mathai, Robert Seely
Venue:Journal of Methods of Logic in Computer Science