T. L. Lakshman

Publication Activity (10 Years)

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

Publications

T. L. Lakshman, Uday S. Reddy
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. ISLP (1991)