Weighted Relational Models of Typed Lambda-Calculi

From MaRDI portal
Publication:5271067

DOI10.1109/LICS.2013.36zbMath1366.03171OpenAlexW2079873887MaRDI QIDQ5271067

Giulio Manzonetto, Guy McCusker, Michele Pagani, Jim Laird

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2013.36




Related Items (21)






This page was built for publication: Weighted Relational Models of Typed Lambda-Calculi