[PL-sem-jr] Domains and Denotations, 4:45 today in room 462

Andrew Cobb andrew.cobb at gmail.com
Wed Oct 14 11:28:15 EDT 2015


For today's PL junior I'll be talking about domain theory and how 
domains can give denotational semantics useful tools for talking about 
fixpoints, non-termination, and possibly even non-determinism (we'll see 
how time goes).

-- 
   Andrew




More information about the Pl-sem-jr mailing list