X-Nico

3 unusual facts about Vaughan Pratt


Chu space

This was extended by Vaughan Pratt (1995) to the realization of k-ary relational structures by Chu spaces over 2k.

Sun-1

Andreas Bechtolsheim, Forest Baskett, and Vaughan Pratt, ftp://reports.stanford.edu/pub/cstr/reports/csl/tr/82/229/CSL-TR-82-229.pdf The SUN Workstation Architecture, Stanford University Computer Systems Laboratory Technical Report No. 229, March 1982.

The Sun 1 workstation was based on the Stanford University SUN workstation designed by Andy Bechtolsheim (advised by Vaughan Pratt and Forrest Baskett), a graduate student and co-founder of Sun Microsystems.



see also