Michael Kifer, James Wu. A First-Order Theory of Types and Polymorphism in Logic Programming. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands. pages 310-321, IEEE Computer Society, 1991.
@inproceedings{KiferW91,
title = {A First-Order Theory of Types and Polymorphism in Logic Programming},
author = {Michael Kifer and James Wu},
year = {1991},
tags = {logic programming, programming, logic, type theory},
researchr = {https://researchr.org/publication/KiferW91},
cites = {0},
citedby = {0},
pages = {310-321},
booktitle = {Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands},
publisher = {IEEE Computer Society},
}