mwang (02/22/83)
_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S
_T_H_E_O_R_Y _S_E_M_I_N_A_R - _F_r_i_d_a_y, _M_a_r_c_h _4, _1_9_8_3.
-
Prof. Dana Scott of Carnegie-Mellon University will
speak on "A Series of Domains".
_T_I_M_E: 10.30 AM
_R_O_O_M: MC 6091A
_A_B_S_T_R_A_C_T
A new exposition of the theory of algebraic CPO's makes
their constructions, their computability properties and
their connections with denotional semantics, more ele-
mentary.
February 22, 1983