@inproceedings{LairdManzonettoMcCuskerPagani:Rel:2013,
    Author = {Laird, J. and Manzonetto, G. and McCusker, G. and Pagani, M.},
    BookTitle = {Proc. of LICS'13},
    File = {Weighted Relational Models of Typed Lambda-Calculi - Laird, Manzonetto, McCusker, Pagani (0) (0) - a - a - x.pdf},
    ISSN = {1043-6871},
    Keywords = {denotational semantics},
    Pages = {301-310},
    Title = {Weighted Relational Models of Typed Lambda-Calculi},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.36},
    date-added = {2014-01-04 10:36:44 +0000},
    date-modified = {2014-01-04 10:37:14 +0000},
    doi = {10.1109/LICS.2013.36}
}

@inproceedings{LairdManzonettoMcCuskerPagani:Rel:2013, Author = {Laird, J. and Manzonetto, G. and McCusker, G. and Pagani, M.}, BookTitle = {Proc. of LICS'13}, File = {Weighted Relational Models of Typed Lambda-Calculi - Laird, Manzonetto, McCusker, Pagani (0) (0) - a - a - x.pdf}, ISSN = {1043-6871}, Keywords = {denotational semantics}, Pages = {301-310}, Title = {Weighted Relational Models of Typed Lambda-Calculi}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.36}, date-added = {2014-01-04 10:36:44 +0000}, date-modified = {2014-01-04 10:37:14 +0000}, doi = {10.1109/LICS.2013.36} }