HOL Light: An overview (2009)

by J Harrison
Venue:In: Proceedings of TPHOLs 2009, LNCS