カーネギーメロン大学 1981–2003
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/07 21:50 UTC 版)
「デイナ・スコット」の記事における「カーネギーメロン大学 1981–2003」の解説
カーネギー・メロン大学に移ると、領域理論の後継として equilogical spaces の理論を提唱。様々な長所があるが、特に equilogical spaces の圏はデカルト閉圏だが、領域の圏はそうではない。1994年、Association for Computing Machinery のフェローに選ばれた。
※この「カーネギーメロン大学 1981–2003」の解説は、「デイナ・スコット」の解説の一部です。
「カーネギーメロン大学 1981–2003」を含む「デイナ・スコット」の記事については、「デイナ・スコット」の概要を参照ください。
- カーネギーメロン大学 1981–2003のページへのリンク