Prateek Mishra. Towards a Theory of Types in Prolog. In SLP. pages 289-298, 1984.
@inproceedings{Mishra84, title = {Towards a Theory of Types in Prolog}, author = {Prateek Mishra}, year = {1984}, tags = {Prolog, type theory}, researchr = {https://researchr.org/publication/Mishra84}, cites = {0}, citedby = {0}, pages = {289-298}, booktitle = {SLP}, }