Function Definition in Higher-Order Logic, TPHOLs ’96 (1996)

by K Slind
Venue:Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics