*Homepage:* http://www.cs.nyu.edu/cs/faculty/paige/

	* Developer of APTS

	* Journal for [[http://www.kluweronline.com/issn/1388-3690][Higher-Order and Symbolic Computation]] -- Special Issue Dedicated to Bob Paige 

----
CategoryPeople