Christian Even

Publication Activity (10 Years)

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

Publications

Ramón Pino Pérez, Christian Even
An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus. LFCS (1994)