De Vrijer, editors (1994)

by R P Nederpelt, J H Geuvers, R C
Venue:Selected Papers on Automath, volume 133 of Studies in Logic and The Foundations of Mathematics