Lorenzo Malatesta

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Investigations into inductive-recursive definitions.

Lorenzo Malatesta

PhD thesis, 2015

Positive Inductive-Recursive Definitions.

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg

Log. Methods Comput. Sci., 2015

2013

Small Induction Recursion.

Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Fibred Data Types.

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer

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