Towards a Theory of Types in Prolog

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

No reviews for this publication, yet.