Roberto Bellucci

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Roberto Bellucci, Martín Abadi, Pierre-Louis Curien
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA (1995)