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

by M J Gabbay
Venue:In Thirty Five years of Automath, Heriot-Watt