Gianluca Franco

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Pietro Di Gianantonio, Gianluca Franco
The Fine Structure of Game Lambda Models. FSTTCS (2000)
Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
-Calculus. TLCA (1999)