Lorenzo Malatesta
According to our database1,
Lorenzo Malatesta
authored at least 4 papers
between 2013 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
0
1
2
3
1
2
1
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