An Interpretation of Typed Objects into Typed -Calculus (1998)

by D Sangiorgi
Venue:Information and Computation