PL Seminar, Jr. Monday, April 23 WVH 164 1-3 pm ================ Sam Tobin-Hochstadt will discuss type soundness proofs in Isabel and related parts of nominal logic. And that's it for the semester. Richard