[PL-sem-jr] PL Jr today -- logical relations

Justin R. Slepak jrslepak at ccs.neu.edu
Mon Oct 27 08:12:18 EDT 2014


Ben's lecture today will be on using logical relations in proofs, what properties they help prove, what properties they don't help prove, and how the technique can be extended to handle some of those properties.

We meet at noon in WVH 366.

---
Justin Slepak
PhD student, Computer Science dept.



More information about the Pl-sem-jr mailing list