A Logical Calculus for Polynomial-time Realizability (1991)

Cached

Download Links

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