PL Seminar, Jr. Monday, Apr 16 1-3pm WVH 164 =============== Sam & Dale will discuss nominal logic (though Sam was thinking about concentrating instead on type soundness proofs in Isabel, which may involve nominal logic, but I don't know what he's decided.)