Neil Leslie

Publication Activity (10 Years)

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

Publications

Neil Leslie, Edwin D. Mares
CHR: A Constructive Relevant Natural-deduction Logic. Electron. Notes Theor. Comput. Sci. 91 (2004)
Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill
Proof Figures And Structural Operators For Categorial Grammar. EACL (1991)