Gerald L. Mathai

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

John N. Crossley, Gerald L. Mathai, Robert A. G. Seely
A logical calculus for polynomial-time realizability. Methods Log. Comput. Sci. 1 (3) (1994)