Dal Lago, Ugo, Infinitary Lambda Calculi from a Linear Perspective, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 447 - 456 (atti di: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, Columbia University, New York, USA, 2016) [Contributo in Atti di convegno]
Dal Lago, Ugo; Di Giamberardino, Paolo, On session types and polynomial time, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 1433 - 1458 [articolo]
