Forward this page to a friend

Cantor Meets Scott: Semantic Foundations for Probabilistic Networks - by Dexter Kozen

DIKU/MATH Talk by Dexter Kozen, Cornell University.
NB! New time: starting at 3 pm.