Lorenzo Malatesta
According to our database1,
Lorenzo Malatesta
authored at least 4 papers
between 2013 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
2013
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013