CURRICULUM VITAE (revised in January[removed]Name

First Page		Document Content
Date: 2009-01-05 11:56:18 Actor model Process calculi Turing Award laureates International Colloquium on Automata Languages and Programming Turing Award Computation Dana Scott Applied mathematics Actor model and process calculi history Computer science Theoretical computer science Mathematics		CURRICULUM VITAE (revised in January[removed]Name Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 60,87 KB Share Document on Facebook

	Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University DocID: 1vo4W - View Document
	9. AC100 Volunteers and Trail Building The Echo Mtn/Sam Merrill trail day, March 31, ‘01. L to R, more or less: Dana Taylor, Ken Gregorich, Jennifer Johnston, Elena Sherman, Scott Sullivan, Linda McFadden, Robert Blai DocID: 1up0B - View Document
	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar DocID: 1qIWA - View Document
	NEWS RELEASE _________________________________________________________________________________________________ CONTACT: Dana Sawyer, KCAI 816‐802‐3532 or Cell: 913‐972‐8281 DocID: 1qHAT - View Document
	Why Mathematical Proof? Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar DocID: 1ooZL - View Document