Castagna et al. (1993)

Castagna G., Ghelli G. and Longo G. (1993)

A semantics for $%l$-early: a calculus with overloading and early binding

In [_BG93], pp. 107-123