Ver tudo
cs.cmu.edu
Dana Stewart Scott (Berkeley, ) é um matemático, lógico, informático e filósofo estadunidense. Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação. wikipedia.org