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