Jim Laird, Manzonetto Giulio, Guy Mccusker, Michele Pagani. Weighted Relational Models of Typed Lambda-Calculi.
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, Jun 2013, New Orleans, LA, United States.
⟨10.1109/LICS.2013.36⟩.
⟨hal-01144064⟩