de Vrijer. Selected papers on Automath (1994)

by R P Nederpelt, J H Geuvers, R C