de Bruijn, N.G. AUT-QE without type inclusion. Memorandum 197804, Department of Mathematics, Eindhoven University of Technology, August 1978.
(1978)
Languages mentioned
AUT-QE
{1973}