Gianluca Franco

According to our database, Gianluca Franco authored at least 2 papers between 1999 and 2000.

Collaborative distances:

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

2000

The Fine Structure of Game Lambda Models.

Pietro Di Gianantonio, Gianluca Franco

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Game Semantics for Untyped <i>lambda beta eta</i>-Calculus.

Pietro Di Gianantonio, Gianluca Franco, Furio Honsell

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999