デイナ・スコット
カーネギー・メロン大学に移ると、領域理論の後継として equilogical spaces の理論を提唱。様々な長所があるが、特に equilogical spaces の圏はデカルト閉圏だが、領域の圏はそうではない。1994年、Association for Computing Machinery のフェローに選ばれた。