The lambda calculus with multiplicities (1993)

by Gérard Boudol
Venue:In D.W