Дейна Скот: Разлика между версии

73 байта изтрити ,  преди 10 години
редакция без резюме
Редакция без резюме
Редакция без резюме
Този период води Скот до работа в тясно сътрудничество с Кристофър Стрейчи, и двамата успяват, въпреки интензивния административен натиск, да контролира голяма част от основните условия на труд за осигуряване на математическа основа за семантиката на езиците за програмиране.
 
==Hагради:==
==Работата на Скот за този период му носи награди:==
Харолд Pender - награда за прилагането му на понятия от логиката и алгебра за развитието на математическата семантика на езиците за програмиране от 1990 г.;
 
14

редакции