Weighted Relational Models of Typed Lambda-Calculi.

Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani

Browse the full LICS paper archive.