Cited By
View all- Laird JManzonetto GMcCusker GPagani M(2013)Weighted Relational Models of Typed Lambda-CalculiProceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS.2013.36(301-310)Online publication date: 25-Jun-2013