FM-HOL, a higher-order theory of names (2002)

by Murdoch J Gabbay
Venue:35 Years of Automath