Towards a Theory of Types in Prolog

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

Abstract

Abstract is missing.