Perez_Linear_Logocal_RElations_FP.pdf Download Tags: CMU Jan'15 Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences License: Creative Commons 2.5 Submitted by Jamie Hagerty on Mon, 12/05/2016 - 09:31