Remembrances of Bob Paige

Higher-Order and Symbolic Computation - Tập 18 - Trang 9-11 - 2005
Alan Siegel1
1Department of Computer Science, Courant Institute, New York University, New York, USA