T. L. Lakshman

According to our database, T. L. Lakshman authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.

T. L. Lakshman, Uday S. Reddy

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991