A Calculus of Components with Dynamic Type-Checking, in "Electr (0)

by S FAGORZI, E ZUCCA
Venue:Notes Theor. Comput. Sci