Programming and computing in HOL (0)

by Bruno Barras
Venue:In Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics