LCF Examples in HOL (1994)

by S Agerholm
Venue:In Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, ThomasF. Melham and Juanito Camilleri (Eds