Towards a Theory of Types in Prolog

Prateek Mishra. Towards a Theory of Types in Prolog. In SLP. pages 289-298, 1984.

Authors

Prateek Mishra

This author has not been identified. Look up 'Prateek Mishra' in Google