Skip to main content
PRL Project

Report on the Edinburgh Conference: 35 Years of Automath

by Robert L. Constable
2001-2002

Eric Klavins also gave a presentation on this date