Domain Theory in HOL (1993)

by S Agerholm
Venue:In the Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications