Lorenzo Malatesta

According to our database1, Lorenzo Malatesta authored at least 4 papers between 2013 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Investigations into inductive-recursive definitions.
PhD thesis, 2015

Positive Inductive-Recursive Definitions.
Log. Methods Comput. Sci., 2015

2013
Small Induction Recursion.
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Fibred Data Types.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013


  Loading...