The HOL Logic Extended with Quantification over Type Variables

Thomas F. Melham. The HOL Logic Extended with Quantification over Type Variables. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 3-17, North-Holland/Elsevier, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.