[PL-sem-jr] April 4

Tue Apr 3 20:02:11 EDT 2018

Reminder: we're meeting tomorrow at *1:30pm* in *WVF 116*.

On Wed, Mar 28, 2018 at 2:40 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:

> Next Wednesday at PL Junior:
>
> Hyeyoung Shin will present proofs for strong normalization and type
> soundness, using logical relations.
>
>
> When: Wednesdays at 1:30pm
> Where: WVF 116
>
-------------- next part --------------
HTML attachment scrubbed and removed