Roberto Bellucci

According to our database, Roberto Bellucci authored at least 1 paper in 1995.

Collaborative distances:

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

1995

A Model for Formal Parametric Polymorphism: A PER Interpretation for System R.

Roberto Bellucci, Martín Abadi, Pierre-Louis Curien

Proceedings of the Typed Lambda Calculi and Applications, 1995