Jeffrey Joyce;Nancy Ann Day
-;-
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics