!!Dana Scott - Current Research
[Activities|http://www.cs.cmu.edu/Groups/LTC/index.html] of the Logics of Types and Computation group at [CMU|http://www.cs.cmu.edu].
\\ \\

!Any further pages in alphabetic order of their title as created by you.\\

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".\\
[{CategoryIndexPlugin category='User/Scott_Dana/OtherInformation'}]