Towards a Theory of Types in Prolog

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.