Some extensions of AUTOMATH: the AUT-4 family (1974)

by N G de Bruijn
Venue:Selected papers on Automath, volume 133 of Studies in Logic and the Foundations of Mathematics