John Gateley

Publication Activity (10 Years)

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

Publications

John Gateley, Bruce F. Duba
Call-by-Value Combinatory Logic and the Lambda-Value Calculus. MFPS (1991)